Erik de Castro Lopo wrote: >> The diff to the current git is attached. > > Applied. Thanks. Thanks. I think I know what happened: I made the first patch and forgot to make a commit, so these changes were included in my second patch too.