Page MenuHomePhabricator

Update Ace editor to 1.14.x/1.15.x?
Closed, ResolvedPublic

Description

(whichever is the next version that includes https://github.com/ajaxorg/ace/pull/5052)