This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository frama-c.
commit f44eb04cd7997a01ff971a0853a73d4f4222dfc9 Author: Mehdi Dogguy <me...@debian.org> Date: Fri Aug 11 11:35:08 2017 -0400 Update changelog --- debian/changelog | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/debian/changelog b/debian/changelog index 2ac50f7..32a8bf7 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,14 @@ +frama-c (20170501+phosphorus+dfsg-1) UNRELEASED; urgency=medium + + * New upstream release + * Update copyright file + * Refresh patches + * Add patch to fix more spelling errors + - add 0008-More-fixes-of-spelling-errors.patch + * Add references to upstream bugs for some patches + + -- Mehdi Dogguy <me...@debian.org> Fri, 11 Aug 2017 11:34:34 -0400 + frama-c (20161101+silicon+dfsg-6) unstable; urgency=medium * Team upload -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/frama-c.git _______________________________________________ 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