Update bug status.
commit95bde348622823a7c8d6167199f7c54313848e56
authorJulian Seward <jseward@acm.org>
Fri, 13 Mar 2020 13:35:59 +0000 (13 14:35 +0100)
committerJulian Seward <jseward@acm.org>
Fri, 13 Mar 2020 13:35:59 +0000 (13 14:35 +0100)
tree706772fcf099b200ebc224d5f141edf785aa7a47
parent1effc0098115589097d94acce4ef5703337f13bd
Update bug status.
NEWS
docs/internals/3_15_BUGSTATUS.txt