firetools (0.9.72-1~0ubuntu20.04.0) focal; urgency=medium * Upload to Ubuntu PPA. * Revert "Bump debhelper compat level to 13". -- Reiner Herrmann <email address hidden> Tue, 07 Feb 2023 19:59:07 +0100