The patch is here
http://dpaste.com/32VFE37
http://dpaste.com/1F3YETN
But my sources were downloaded from apt, so these are outdated.
Now, I'll try to download sources from git master
2018-06-17 14:01 GMT+02:00 Almudena Garcia :
> Yes. We fixed this too.
>
> Last night we was following the
Hello,
Almudena Garcia, le lun. 18 juin 2018 21:16:28 +0200, a ecrit:
> [1]http://dpaste.com/32VFE37
>
> [2]http://dpaste.com/1F3YETN
Please post them as attached text files to your mail, so review can take
place.
> But my sources were downloaded from apt, so these are outdated.
gnumach doesn'
