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

Yes, please regenerate it.

--
Jakub Wilk

Reply via email to