diff INSTALL @ 1318:10e2a7727253 coverity

merge coverity
author Matt Johnston <matt@ucc.asn.au>
date Fri, 22 Jul 2016 00:08:02 +0800
parents 2d943453cecf
children 8f88f4290b22
line wrap: on
line diff