On 6/12/20 9:55 AM, Federico Kircheis wrote: > On May 29, 2020 4:38:53 AM UTC, Federico Kircheis wrote: >> I did not get any response to my last questions, so I hope this patch >> is >> enough. >> >> Any thought about my other arguments? >> >> Federico > Ping. > > Any updates or comments? > > Is the patch ok? > Ping