v8.2.3828
8103527d · patch 8.2.3828: when opening a terminal from a timer first typed char is lost ·