diff options
Diffstat (limited to 'testing/fileshelter/std-optional.patch')
| -rw-r--r-- | testing/fileshelter/std-optional.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/testing/fileshelter/std-optional.patch b/testing/fileshelter/std-optional.patch new file mode 100644 index 00000000000..83d5dfd06a2 --- /dev/null +++ b/testing/fileshelter/std-optional.patch @@ -0,0 +1,11 @@ +Fixes 'std::optional' error +--- fileshelter-5.0.1/src/fileshelter/ui/ShareDownload.hpp ++++ fileshelter-5.0.1/src/fileshelter/ui/ShareDownload.hpp +@@ -20,6 +20,7 @@ + #pragma once + + #include <Wt/WContainerWidget.h> ++#include <optional> + #include "share/Types.hpp" + + namespace UserInterface |