Very minor updates for 3.18.
commiteb41d3be47aafe6458c9ce3e006da83d9f60b1a6
authorJulian Seward <jseward@acm.org>
Wed, 13 Oct 2021 15:06:10 +0000 (13 17:06 +0200)
committerJulian Seward <jseward@acm.org>
Wed, 13 Oct 2021 15:06:10 +0000 (13 17:06 +0200)
tree3631bca83a50eed0932ac90392cb166338e36876
parentd37cedc1ef3de663e4e227d962a40f44d4398179
Very minor updates for 3.18.
NEWS