[java-sig-commits] [Bug 1380918] js-CodeMirror-5.25.0 is available