On Wed, 4 Jul 2018 12:51:08 +0200 Corinna Vinschen wrote: > Thanks for catching. I pushed your patch (using "" rather than <> > just for clearness) with a description.
I have pulled the git HEAD just now, but nothing about this. Instead, the following patch has been applied. https://cygwin.com/ml/cygwin-patches/2018-q3/msg00000.html Isn't that the mis-operation? -- Takashi Yano <takashi.y...@nifty.ne.jp> -- Problem reports: http://cygwin.com/problems.html FAQ: http://cygwin.com/faq/ Documentation: http://cygwin.com/docs.html Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple
