Create 3_13_BUGSTATUS.txt and pull all new bug reports into it.
commitcf1561e30ed43006b5ccb9058dcbc6db382f6cee
authorJulian Seward <jseward@acm.org>
Wed, 25 Jul 2018 04:19:45 +0000 (25 06:19 +0200)
committerJulian Seward <jseward@acm.org>
Wed, 25 Jul 2018 04:19:45 +0000 (25 06:19 +0200)
tree7714bc71e81a9ff4f5f8c212333b19f725007506
parentd44563c49e55f47016e23591f708c7aa57f7a098
Create 3_13_BUGSTATUS.txt and pull all new bug reports into it.
NEWS
docs/internals/3_13_BUGSTATUS.txt [new file with mode: 0644]