fix bug of reporting 0 total claims #251

Merged
jessopb merged 1 commit from fix-zeroClaimsBug into master 2019-12-13 22:25:20 +01:00

1 commit

Author SHA1 Message Date
jessop
00d8a9e5c2 fixes bug of reporting 0 claims 2019-12-12 20:31:37 -05:00