Improve the summary paragraph for the 3.17 NEWS entry.
commit1e4a20c6dbd2e2a10586d4b122047afcacd69c7f
authorJulian Seward <jseward@acm.org>
Wed, 17 Mar 2021 17:16:03 +0000 (17 18:16 +0100)
committerJulian Seward <jseward@acm.org>
Wed, 17 Mar 2021 17:16:03 +0000 (17 18:16 +0100)
treedc1b87fd192bcabeeb28e1302ca948b91b0cf1d4
parent8616808ab3cc691699bd1f733eb9b3106a1a6256
Improve the summary paragraph for the 3.17 NEWS entry.
NEWS