diff -Nru pagetools-0.1/debian/changelog pagetools-0.1/debian/changelog
--- pagetools-0.1/debian/changelog	2018-01-05 19:20:52.000000000 +0000
+++ pagetools-0.1/debian/changelog	2020-03-22 15:53:20.000000000 +0000
@@ -1,3 +1,9 @@
+pagetools (0.1-3build1) focal; urgency=medium
+
+  * No-change rebuild for libgcc-s1 package name change.
+
+ -- Matthias Klose <doko@ubuntu.com>  Sun, 22 Mar 2020 16:53:20 +0100
+
 pagetools (0.1-3) unstable; urgency=medium
 
   * Migrate to salsa.debian.org with dgit-maint-merge workflow