Comment # 4 on bug 54867 from Tom Stellard

(In reply to comment #3)
> So, still not pushed in today git, can someone push this small fix?

I can push it if you provide an updated patch with a proper commit message.