From 3b93faa0f2721a6618776bd13b6181ec880cb6de Mon Sep 17 00:00:00 2001
From: Ben Cumming <bcumming@cscs.ch>
Date: Wed, 24 Aug 2016 09:48:18 +0200
Subject: [PATCH] add missing header

---
 src/threading/serial.hpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/threading/serial.hpp b/src/threading/serial.hpp
index d3205817..de9e3180 100644
--- a/src/threading/serial.hpp
+++ b/src/threading/serial.hpp
@@ -4,6 +4,7 @@
     #error "this header can only be loaded if WITH_SERIAL is set"
 #endif
 
+#include <algorithm>
 #include <array>
 #include <chrono>
 #include <string>
-- 
GitLab