mintty version: 3.3.0

Release date: Aug. 6, 2020