[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20111001+nitrogen+dfsg-3-10-gdecd56b

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 7f57861d65f96cafad2452a6040c2fd321bcca43
Author: Mehdi Dogguy <mehdi at 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 <mehdi at 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