[gambit-list] 4.7.0 vs. 4.7.2 for LTE, opinions: Any bad experiences with 4.7.2 ever?