; * admin/automerge: Tweak previous NEWS fix
authorGlenn Morris <rgm@gnu.org>
Fri, 26 Oct 2018 05:08:12 +0000 (22:08 -0700)
committerGlenn Morris <rgm@gnu.org>
Fri, 26 Oct 2018 05:08:12 +0000 (22:08 -0700)
commitd404bb5beeec6ccfef583dbb9c43e3d043df31cf
tree23167bdd8cd6edc54802bd490b893415a614b58d
parent3575dd8e8c7edaa904220e5f59240b91814b5564
; * admin/automerge: Tweak previous NEWS fix
admin/automerge