thyrsus.com Git - coverity-submit.git/commit

]> thyrsus.com Git - coverity-submit.git/commit

author	Eric S. Raymond <esr@thyrsus.com>
	Thu, 23 May 2013 16:18:20 +0000 (12:18 -0400)
committer	Eric S. Raymond <esr@thyrsus.com>
	Thu, 23 May 2013 16:18:20 +0000 (12:18 -0400)
commit	6784f0f52b6901edf037383a447459fb015eff4f
tree	d5330a9505981afc03cae003010f9994d05f45a6	tree \| snapshot
parent	854513076e07d16cc4fe334c1d763f1cad7b1e21	commit \| diff

Ship 1.9, with -v preserving the build log.

Submit scan requests to the Coverity demo server.