diff dbrandom.h @ 1344:b90da477ab63 coverity

merge coverity
author Matt Johnston <matt@ucc.asn.au>
date Thu, 18 May 2017 23:02:39 +0800
parents 9169e4e7cbee
children 17104db7928c 06d52bcb8094
line wrap: on
line diff