>> :/ The patch should be already in git master... can you re-try just with >> > > I did it. > >> git master, no patch to be applied? > > > It works. > Ah, good then :-) Thanks for re-checking. -- Aleksander