* etc/NEWS: Another fix for the last change (noted by Juri Linkov)
commit06245b625e2b8f42126a93390bd9b8946e09b03e
authorMartin Rudalics <rudalics@gmx.at>
Fri, 20 Apr 2018 06:12:10 +0000 (20 08:12 +0200)
committerMartin Rudalics <rudalics@gmx.at>
Fri, 20 Apr 2018 06:12:10 +0000 (20 08:12 +0200)
tree4f7a02bb28ea02cebeebd16fe2db7f6c340bb11b
parent8f6293ca789edf06ea8e7b4b80edf7558d590ca7
* etc/NEWS: Another fix for the last change (noted by Juri Linkov)
etc/NEWS