am e7f20f17: am 1a259a7f: am 9c923f70: am 685e6812: am 66fdfa6f: am 07eab88f: am 80c0b1ea: am 1c55e66e: am 24c5e1b8: am 1acbcf99: am 2f503e74: am 617f99b2: am 911f3268: Fix proximity/edit correction detection that affects the terminal cost.
* commit 'e7f20f17f466cdfd2b9c65fdc665d6d99139394e':main
commit
3387afddaa