So am I premature in thinking this has fixed the "pushing key once causes multiple repeats" bug (#2723)? I can't reproduce it after upgrading.

If true, thank god. That was driving me mad.