svenfuchs/globalize3 — comment on commit f509e753ba2933228b65e23d924a1131912ad7ed
File:  line 0
By kronn:

@tomash can you revert this one? I have given up the push access.

Reverting the merge is not possible anymore, I think, but you can just delete the lines in question. If you want, I can make a pull-request which you can apply then.