https://bugzilla.wikimedia.org/show_bug.cgi?id=58521
Derk-Jan Hartman <hartman.w...@gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |hartman.w...@gmail.com See Also| |https://github.com/ajaxorg/ | |ace/issues/1534 --- Comment #3 from Derk-Jan Hartman <hartman.w...@gmail.com> --- This is upstream issue: https://github.com/ajaxorg/ace/issues/1534 Which is fixed. An update to CodeEditor is in: https://gerrit.wikimedia.org/r/104510 -- You are receiving this mail because: You are the assignee for the bug. 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