I think I uploaded mintty 2.9.3 with a dedicated mintty-2.9.3-0.hint file with the first two lines curr: 2.9.3-0 prev: 2.9.1-0 but setup still offers 2.9.2 as a choice. Did I miss the point in the upload procedure? Thomas