Cannot type / (slash) into codemirror after upgrade

Upgraded to 4.12.0 yesterday.

When opening an editor on a PHP file, typing the / (slash) character does not enter the character into the editor. Makes it kind of hard to type comments or do division.

Thanks
Gulliver

This has been fixed in this patch already. Sorry for the inconvenience.