From 8d1d8fc474bd9ed22cbe8b80125c8ce89dc62b57 Mon Sep 17 00:00:00 2001
From: Glenn Morris <rgm@gnu.org>
Date: Tue, 31 Mar 2015 17:47:14 -0400
Subject: [PATCH] * admin/update_autogen (commit): Switch prefix from "# " to
 "; ".

---
 admin/ChangeLog      | 6 +++++-
 admin/update_autogen | 2 +-
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/admin/ChangeLog b/admin/ChangeLog
index 092bfa9ad59..d3fabd4c811 100644
--- a/admin/ChangeLog
+++ b/admin/ChangeLog
@@ -1,6 +1,10 @@
+2015-03-31  Glenn Morris  <rgm@gnu.org>
+
+	* update_autogen (commit): Switch prefix from "# " to "; ".
+
 2015-03-03  Kelvin White  <kwhite@gnu.org>
 
-	* MAINTAINERS: Add myself to section 2
+	* MAINTAINERS: Add myself to section 2.
 
 2015-03-03  Glenn Morris  <rgm@gnu.org>
 
diff --git a/admin/update_autogen b/admin/update_autogen
index 73e8aebe3d8..1bd82967c27 100755
--- a/admin/update_autogen
+++ b/admin/update_autogen
@@ -228,7 +228,7 @@ commit ()
 
     echo "Committing..."
 
-    $vcs commit -m "# Auto-commit of $type files." "$@" || return $?
+    $vcs commit -m "; Auto-commit of $type files." "$@" || return $?
 
     [ "$vcs" = "git" ] && {
         $vcs push || return $?
-- 
2.39.5