Merge branch 'main' into devtools

2024-05-17 15:47:25 +03:00
parent 0fe55eb377 8ff629e1cd
commit 8ee493dbda
15 changed files with 120 additions and 107 deletions
@@ -5,7 +5,6 @@

 #include <string>
 #include <vector>
-#include <stdexcept>

 namespace util {
    /// @brief Function used for string serialization in text formats