* Julian Andres Klode <jak@debian.org>, 2016-07-09, 23:51:
(or we could regenerate the cache during clean...)
Yes, please regenerate it. -- Jakub Wilk