tree 86157413bfd64c1fed7b21fa35cee383d0e9f4bd
parent 642bb3ff1b5d0de96a51ffde500463517bcc11ea
author Mitchell Kember <mkember@google.com> 1668627110 +0000
committer Mitchell Kember <mkember@google.com> 1668627110 +0000

Bump Ace from 1.4.12 to 1.13.1

See https://github.com/ajaxorg/ace/blob/master/CHANGELOG.md for the
changes. There are many, mostly bug fixes.

Tested manually, including changing all the settings in the settings
window and verifying they worked.

Change-Id: I54c6c788be5838b0a4b000ebafc36a3a30c15f21
Reviewed-on: https://fuchsia-review.googlesource.com/c/fidlbolt/+/761225
Reviewed-by: Matt Hamrick <mjhamrick@google.com>