Fix FTBFS (#987934)

Hi,

This MR fixes the FTBFS reported on https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=987934. I'm sending this as a debdiff in the bug as well, just in case.

Thanks.

Merge request reports

Loading