diff options
author | Glenn Morris <rgm@gnu.org> | 2015-03-31 17:47:14 -0400 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2015-03-31 17:47:14 -0400 |
commit | 8d1d8fc474bd9ed22cbe8b80125c8ce89dc62b57 (patch) | |
tree | 5848f0f4e28b1f44c1bec42cc3e046d9c3f0f5f0 | |
parent | ee050a3b1989f1a02401599c3d67542c96aded6f (diff) | |
download | emacs-8d1d8fc474bd9ed22cbe8b80125c8ce89dc62b57.tar.gz |
* admin/update_autogen (commit): Switch prefix from "# " to "; ".
-rw-r--r-- | admin/ChangeLog | 6 | ||||
-rwxr-xr-x | 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 $? |