Improve NEWS entries
authorRobert Pluim <rpluim@gmail.com>
Fri, 13 Sep 2024 13:42:39 +0000 (15:42 +0200)
committerRobert Pluim <rpluim@gmail.com>
Fri, 13 Sep 2024 13:42:39 +0000 (15:42 +0200)
commit8e1187e336f6763f03cc8c03cf6c02e97c34dac7
treee739a95922665a9d7da753ba8e1ec2fdf29a9aa1
parentca3932121a893df3c4b08dbe11f2c002da4a421f
Improve NEWS entries

* etc/NEWS: Fix typos, and add information about default values of new
  user options.
etc/NEWS