--- Comment #10 from Tisza Gergő <> ---
(In reply to comment #8)
> For clarity, the current plan is Niklas' option 1 as per bug 46579 comment
> 17.

Is it? 86b54375de7e, which was merged half a year ago, takes a completely
different direction.

Anyway, if that option would be implemented, that would fix this bug as well,
although then MediaWiki:Licenses should be moved to MediaWiki:Licenses/en.

You are receiving this mail because:
You are on the CC list for the bug.
Wikibugs-l mailing list

Reply via email to