diff -Nru libtins-4.0/debian/changelog libtins-4.0/debian/changelog
--- libtins-4.0/debian/changelog	2018-09-19 21:31:41.000000000 +0000
+++ libtins-4.0/debian/changelog	2020-03-23 06:18:33.000000000 +0000
@@ -1,3 +1,9 @@
+libtins (4.0-1build1) focal; urgency=medium
+
+  * No-change rebuild for libgcc-s1 package name change.
+
+ -- Matthias Klose <doko@ubuntu.com>  Mon, 23 Mar 2020 07:18:33 +0100
+
 libtins (4.0-1) unstable; urgency=medium
 
   * New upstream release (Closes: #897440)