mintty should have skipped one version

[Thomas Wolff]

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