Commit 1e55e21dea78aaaddc0715e7df96fd198ec8f78a

Ebrahim Byagowi 2018-10-20T07:45:46

Merge pull request #1283 from khaledhosny/cygwin Cygwin fixes and CI build