From ced82745eace69a8bbe0f187d8caa7cb6347f50d Mon Sep 17 00:00:00 2001 From: Daniel Shahaf Date: Thu, 21 Sep 2017 18:17:02 +0000 Subject: unposted (cf. 41672): checkrmall: Record the 41672 bug in a TODO. --- ChangeLog | 3 +++ 1 file changed, 3 insertions(+) (limited to 'ChangeLog') diff --git a/ChangeLog b/ChangeLog index 3a0656fc6..000d5ccb3 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,8 @@ 2017-09-21 Daniel Shahaf + * unposted (cf. 41672): Src/utils.c: checkrmall: Record the + 41672 bug in a TODO. + * unposted (cf. 41707): Src/utils.c: internal: Document the count==0 case of checkrmall(). -- cgit v1.2.3