Hi Petr, On 6/17/2021 7:18 AM, Petr Vorel wrote: > Hi Joerg, Alexey, > > merged! Thanks both for your time. thanks, but you should have removed my "changes in v3" from the commit message :) Was I supposed to place stuff like that somewhere else in the mail, to prevent it from being merged? Jörg