The source project of this merge request has been removed.
Implements the suggestion here:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=892058#90
This commit was not tested.
Implements the suggestion here:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=892058#90
This commit was not tested.