redisable Nitpick from Cygwin, until I've investigated the issue
redisable Nitpick from Cygwin, until I've investigated the issue

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle