firetools (0.9.72-1~0ubuntu22.04.0) jammy; urgency=medium * Upload to Ubuntu PPA. -- Reiner Herrmann <email address hidden> Tue, 07 Feb 2023 19:55:30 +0100