diff --git a/debian/changelog b/debian/changelog
index b2a312c2..3bef2555 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -8,10 +8,6 @@ llvm-toolchain-9 (1:9.0.0-5) UNRELEASED; urgency=medium
   [ Sylvestre Ledru ]
   * Add libz3-dev as dependencies on llvm-X.Y-dev (Closes: #943996)
 
-  [ Gianfranco Costamagna ]
-  * Revert Addition of Ubuntu focal on arch list, disable thin everywhere
-    instead
-
  -- Sylvestre Ledru <sylvestre@debian.org>  Sat, 02 Nov 2019 12:23:40 +0100
 
 llvm-toolchain-9 (1:9.0.0-4) unstable; urgency=medium