gnome-extra-icons (1.1-3.1) unstable; urgency=medium * Non-maintainer upload. * debian/control: + Bump debhelper compat to v13. (Closes: #965559) + Bump Standards-Version to 4.5.0. + Replace obsolete Priority: extra with Priority: optional. * debian/rules: + Replace cdbs with dh sequencer. * debian/source/format: Use "3.0 (quilt)" format. -- Boyuan Yang <email address hidden> Fri, 21 Aug 2020 11:52:22 -0400