The commit unfortunately has a bad commit message which it does not tell me what the commit does, please do use descriptive commit messages and do not assume that ticket numbers or (any) urls are useful. Those are often not very helpful, since eg the ticketing system may go away much sooner than the interest in the commits.
No big deal right now but it shows why we ask for at least some cursory review to catch glitches like this.
Would you like me to just close this ticket again or is there more to come?
Unfortunately there was a small bug in the way patch where applied. This is the reason for the last commit. Still doing some test with multiple compilations.