Merge branch 'v0.23.x'

2023-01-06 08:12:38 +01:00
parent 7774e78864 e1d641f684
commit 8a7b7dffec
6 changed files with 22 additions and 10 deletions
--- a/src/io/FileReader.hxx
+++ b/src/io/FileReader.hxx
@@ -42,6 +42,8 @@
 #include "io/UniqueFileDescriptor.hxx"
 #endif

+#include <cstdint>
+
 class Path;
 class FileInfo;