mintty version: 3.1.5

Release date: May 20, 2020