https://bugzilla.wikimedia.org/show_bug.cgi?id=49358
--- Comment #13 from Tomasz W. Kozlowski <[email protected]> --- Haha, there's no need to do that :-) The bot will automatically post a comment to this bug when the change is merged, so we'll immediately know when the extension is turned off. Thanks for the offer though :-) -- You are receiving this mail because: You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
