Update following recent bug-fix commits.
commit740381f8ac28e2878de7b068611385ed01985478
authorJulian Seward <jseward@acm.org>
Thu, 2 Jan 2020 05:34:52 +0000 (2 06:34 +0100)
committerJulian Seward <jseward@acm.org>
Thu, 2 Jan 2020 05:34:52 +0000 (2 06:34 +0100)
treed0a12cb773bb25197a334f78d96fd1c99e2063ec
parent192c1673c75737c9ea6b5af7cfdc7b0681759933
Update following recent bug-fix commits.
NEWS
docs/internals/3_15_BUGSTATUS.txt