Version bump: 8.4pl1

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/tags/V8.4pl1@16115 85f007b7-540e-0410-9357-904b9bb8a0f7
maximedenes · Dec 22, 2012 · 46b4aac · 46b4aac
1 parent 5f6f681
commit 46b4aac
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/configure b/configure
@@ -6,7 +6,7 @@
 # 
 ##################################
 
-VERSION=8.4
+VERSION=8.4pl1
 VOMAGIC=08400
 STATEMAGIC=58400
 DATE=`LC_ALL=C LANG=C date +"%B %Y"`