Update bug status.
commit4cbc7f35da9db786d26c059b2153bca5b57a6453
authorJulian Seward <jseward@acm.org>
Fri, 27 Jul 2018 15:22:43 +0000 (27 17:22 +0200)
committerJulian Seward <jseward@acm.org>
Fri, 27 Jul 2018 15:22:43 +0000 (27 17:22 +0200)
tree4421378dd1948eb5c38b765334a0e433a5ba77ab
parent4a89cd323b01d620506f8ee6ead3fc5c43729420
Update bug status.
NEWS
docs/internals/3_13_BUGSTATUS.txt