* admin/update_autogen (commit): Pull before push.
commit1b598d32aa06128fb5d9faa634118360e68a73c7
authorGlenn Morris <rgm@gnu.org>
Wed, 17 May 2017 16:44:29 +0000 (17 12:44 -0400)
committerGlenn Morris <rgm@gnu.org>
Wed, 17 May 2017 16:44:29 +0000 (17 12:44 -0400)
treeb0e88a7f2bd02cfdf4b464ad73d543b1a30fc4b9
parentdf4e105910a983f42e77828809ab50611b454905
* admin/update_autogen (commit): Pull before push.
admin/update_autogen