; Minor changes in etc/NEWS
commiteed3a3d9e95d2c5346a23c9d92ca4e5848330183
authorMichael Albinus <michael.albinus@gmx.de>
Sat, 14 Oct 2017 10:56:26 +0000 (14 12:56 +0200)
committerMichael Albinus <michael.albinus@gmx.de>
Sat, 14 Oct 2017 10:56:26 +0000 (14 12:56 +0200)
treef4e8efd770d5725f75a69d44f0a7ae78fb19e48e
parentdcb86584fd12fc44d246bbe033372693785c127d
; Minor changes in etc/NEWS
etc/NEWS