Merge pull request #1283 from khaledhosny/cygwin
authorEbrahim Byagowi <ebrahim@gnu.org>
Sat, 20 Oct 2018 04:15:46 +0000 (07:45 +0330)
committerGitHub <noreply@github.com>
Sat, 20 Oct 2018 04:15:46 +0000 (07:45 +0330)
commit1e55e21dea78aaaddc0715e7df96fd198ec8f78a
tree8b74608bb7c38f98d052b0c3ed50ce1bd3c6b54c
parent964ae32aac793540a49c44efab878592394d48db
parentd084719ff5a9e0e363bf352037f85b884bff11a7
Merge pull request #1283 from khaledhosny/cygwin

Cygwin fixes and CI build