search

muhhiminminmin / mintty

Automatically exported from code.google.com/p/mintty
GNU General Public License v3.0
0 stars 0 forks source link

Pull request #365

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
At https://github.com/mirror1/mintty/pulls.

Original issue reported on code.google.com by john.s.peterson@live.com on 8 Dec 2012 at 4:23

GoogleCodeExporter commented 8 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

GoogleCodeExporter commented 8 years ago 
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

GoogleCodeExporter commented 8 years ago 
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