Bug#907837: suggested patch

[Steven De Herdt]

Control: tag -1 + patch

(How about this?)

On 15-10-18 15:13, Steven De Herdt wrote:
> Tags: patch
> 
> (Let's try again...)
> 
> On 29-09-18 14:25, Steven De Herdt wrote:
>> tags 907837 + patch
>> thanks