Hello Aurelien, thanks for this information. I have dropped the patch.
Regards Anton Am Do., 17. Okt. 2019 um 20:22 Uhr schrieb Aurelien Jarno <[email protected]>: > > Hi Anton, > > On 2019-09-15 13:01, Anton Gladky wrote: > > Hello Aurelien, > > > > thanks for the note. It really helped! > > Please note that the problem has now been fixed in the Debian gcc-9 > package, and this fixed version is installed on the buildds. Therefore > you should be able to drop the workaround in next upload. > > Aurelien > > -- > Aurelien Jarno GPG: 4096R/1DDD8C9B > [email protected] http://www.aurel32.net

