diff dbrandom.c @ 1400:238a439670f5 coverity

merge
author Matt Johnston <matt@ucc.asn.au>
date Sat, 03 Jun 2017 00:10:58 +0800
parents 750ec4ec4cbe
children 3fdd8c5a0195 ead816a63549
line wrap: on
line diff