https://bugzilla.wikimedia.org/show_bug.cgi?id=24489

--- Comment #10 from Gerrit Notification Bot <gerritad...@wikimedia.org> ---
Change 102101 abandoned by Tinaj1234:
Removed indentation button from WikiEditor extension

Reason:
This change previously exists. A patch was submitted earlier.
https://gerrit.wikimedia.org/r/#/c/94500/

https://gerrit.wikimedia.org/r/102101

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l

Reply via email to