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)
Cygwin fixes and CI build


Trivial merge