#262701 mini-dinstall: does not properly delete files of older version

Package:
mini-dinstall
Source:
mini-dinstall
Submitter:
martin f krafft
Date:
2018-02-16 01:21:03 UTC
Severity:
minor