Closed GoogleCodeExporter closed 9 years ago
Moved to https://github.com/mirror/mintty/pulls.
Original comment by john.s.peterson@live.com
on 27 Dec 2012 at 12:32
Is this the official github mirror? If so (or if it becomes so), I'm glad.
Original comment by u...@zuse.jp
on 1 Jan 2013 at 1:17
Re comment 2: No, there is no official github mirror, and I don't intend to
maintain one.
Original comment by andy.koppe
on 5 Jan 2013 at 2:07
Original issue reported on code.google.com by
john.s.peterson@live.com
on 8 Dec 2012 at 4:23