3 bugs tagged patch in the BTS

package:
mini-dinstall
severity:
normal
created:
2020-02-26
last updated:
2020-04-03

The BTS contains patches fixing 3 bugs (4 if counting merged bugs), consider including or untagging them.