The following commit has been merged in the master branch:
commit 7f57861d65f96cafad2452a6040c2fd321bcca43
Author: Mehdi Dogguy <me...@debian.org>
Date:   Tue Jun 25 21:52:10 2013 +0200

    New upstream release

diff --git a/debian/changelog b/debian/changelog
index be17c9b..b11834f 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+frama-c (20130601+fluorine3+dfsg-1) UNRELEASED; urgency=low
+
+  * New upstream release
+
+ -- Mehdi Dogguy <me...@debian.org>  Tue, 25 Jun 2013 21:51:45 +0200
+
 frama-c (20111001+nitrogen+dfsg-3) unstable; urgency=low
 
   * Include patchlevel2 for Nitrogen 20111001.

-- 
frama-c packaging

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to