mintty version: 3.1.6

Release date: May 21, 2020