Commit 52a97eed430bdf1d6383afb2ebfd09b1a5b96e9e

Edward Thomson 2019-01-28T12:16:50

ci: add coverity badge to the README