[Pkg-ocaml-maint-commits] [frama-c] 06/07: Changelog update

[Mehdi Dogguy]

This is an automated email from the git hooks/post-receive script.

mehdi pushed a commit to branch master
in repository frama-c.

commit b656fa77804fc431332ecaf3c5a133c66a341617
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Sun Sep 10 12:34:53 2017 +0200

    Changelog update
---
 debian/changelog | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index d590f12..e5a1437 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,18 @@
+frama-c (20170501+phosphorus+dfsg-2) UNRELEASED; urgency=medium
+
+  * Fix typo in patch 0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch
+  * Add zsh completion file from upstream's repository
+    - add 0010-Add-zsh-completion-file.patch
+  * Better dynlink detection in configure script (Closes: #871912)
+    - add 0009-Better-handling-of-dynlink-detection.patch
+  * Fix install target in Makefile to avoid trying to install native
+    objects on bytecode architectures
+  * Do not use '-C' CPPFLAG when compiling jemalloc, as math.h bombs out
+    with -C on i386. (Closes: #874273, LP: #1714514). Thanks to Dimitri
+    John Ledkov for the patch.
+
+ -- Mehdi Dogguy <mehdi at debian.org>  Sun, 10 Sep 2017 12:33:33 +0200
+
 frama-c (20170501+phosphorus+dfsg-1) unstable; urgency=medium
 
   * New upstream release

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/frama-c.git