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)
commitd3a215c12be0e8c4f5bef7058727bd6c81088471
treea0d566171ad51410d57d4d24e339e77311d5fbd5
parent7cbdaedf2e229b089cc1353d3b8b49eea003501e
parentbcd31401ac03a79abc1c6f2561afd08b77ac1bb0
Merge branch 'checkupdates-crash' into 'master'

checkupdates: avoid crash with --auto and None CVC

As reported by @CiaranG.

See merge request !173