3 ms·Which I presume is just Mintty (http://mintty.github.io/ http://mintty.github.io/) ?by kingosticks 7y agoWhich I presume is just Mintty (http://mintty.github.io/ http://mintty.github.io/) ?