Am Mi., 11. März 2020 um 13:36 Uhr schrieb Martin Storsjö <martin at martin.st>: > > On Wed, 11 Mar 2020, Carl Eugen Hoyos wrote: > > > Hi! > > > > Attached patch fixes the remaining part of ticket #8565. > > This looks correct. Patch applied. Thank you, Carl Eugen