https://github.com/spring/pr-downloader/pull/141 --- tools/pr-downloader/src/FileSystem/FileSystem.cpp.orig 2020-12-20 17:04:22 UTC +++ tools/pr-downloader/src/FileSystem/FileSystem.cpp @@ -18,6 +18,7 @@ #include #include #include +#include #ifdef _WIN32 #include