diff --git a/debian/changelog b/debian/changelog
index 9c229c86..e2f8aad7 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -8,6 +8,7 @@ llvm-toolchain-9 (1:9.0.0-3~exp2) experimental; urgency=medium
   * disable-fuzzer-compiler-rt.diff: bring back this patch.
     Still breaks i386 compiler-rt/fuzzer
     Disable fuzzer only for i386
+  * Disable z3 when the version is tool old
 
  -- Sylvestre Ledru <sylvestre@debian.org>  Wed, 30 Oct 2019 19:09:12 +0100