(In reply to Stefan Knorr from comment #4) > Nonsense, original commit ID was correct. Ah, I see - my bad. I misread the commit log. Sorry for the noise.