Author: tille Date: 2017-11-29 08:36:07 +0000 (Wed, 29 Nov 2017) New Revision: 24706 Removed: trunk/packages/mummy/ Log: Mummy was removed from Debian. Packaging history was taken over to Git