Revision history [back]

What @LBerger is trying to say is that someone beat you to it and got the fix already integrated in latest master, in this commit.