Update bug status.
commit6ef04b381879746585592ccb84ca19622f68e093
authorJulian Seward <jseward@acm.org>
Mon, 9 Mar 2020 08:08:28 +0000 (9 09:08 +0100)
committerJulian Seward <jseward@acm.org>
Mon, 9 Mar 2020 08:08:28 +0000 (9 09:08 +0100)
treebd9e6201282957ddbf60a09334afe525eb0a0bde
parent91bf2d2d8cbf5942d73dc748150945a5c24ecae2
Update bug status.
NEWS
docs/internals/3_15_BUGSTATUS.txt