; * etc/NEWS: Backport edit made on wrong branch.
commit07442debd1e037094700d1e5092ad72cdbb7d10d
authorGlenn Morris <rgm@gnu.org>
Thu, 7 Jan 2016 07:22:04 +0000 (6 23:22 -0800)
committerGlenn Morris <rgm@gnu.org>
Thu, 7 Jan 2016 07:22:04 +0000 (6 23:22 -0800)
tree6eed2b0f30bf35f5379ba174296a0964e425abc2
parentce4a052415b70030ee591af3cb5bed0fb79ef3aa
; * etc/NEWS: Backport edit made on wrong branch.
etc/NEWS