chiark / gitweb /
Merge branch 'checkupdates-crash' into 'master'
authorCiaran Gultnieks <ciaran@ciarang.com>
Mon, 26 Sep 2016 21:46:16 +0000 (21:46 +0000)
committerCiaran Gultnieks <ciaran@ciarang.com>
Mon, 26 Sep 2016 21:46:16 +0000 (21:46 +0000)
checkupdates: avoid crash with --auto and None CVC

As reported by @CiaranG.

See merge request !173


Trivial merge