Published on 2018-05-17.
* Fixes occasional repeated characters when typing rapidly (#865)