diff --git a/ChangeLog b/ChangeLog index 9bdfa81bd..b50480a94 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2013-01-03 Peter Stephenson + + * unposted: Config/version.mk: update version to 5.0.2-dev-0 + to avoid clash with release. + 2012-12-21 Peter Stephenson * unposted: README, Config/version.mk, Etc/FAQ.yo: release @@ -412,5 +417,5 @@ ***************************************************** * This is used by the shell to define $ZSH_PATCHLEVEL -* $Revision: 1.5778 $ +* $Revision: 1.5779 $ ***************************************************** diff --git a/Config/version.mk b/Config/version.mk index eca41f444..b755d739c 100644 --- a/Config/version.mk +++ b/Config/version.mk @@ -27,5 +27,5 @@ # This must also serve as a shell script, so do not add spaces around the # `=' signs. -VERSION=5.0.2 -VERSION_DATE='December 21, 2012' +VERSION=5.0.2-dev-0 +VERSION_DATE='January 3, 2013'