From ef087ff99d415a09008b0d8b359eb6a1d6d362cd Mon Sep 17 00:00:00 2001
From: =?utf8?q?Felix=20D=C3=B6rre?= <felix@dogcraft.de>
Date: Fri, 27 May 2016 21:49:43 +0200
Subject: [PATCH] fix: backport of unique_ptr

---
 src/util.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 mode change 100644 => 100755 src/util.h

diff --git a/src/util.h b/src/util.h
old mode 100644
new mode 100755
index a091340..529820a
--- a/src/util.h
+++ b/src/util.h
@@ -15,7 +15,7 @@ std::pair<bool, std::time_t> parseYearInterval( std::time_t t, const std::string
 
 std::unique_ptr<std::ofstream> openLogfile( const std::string &name );
 
-#if __GNUC__ > 5 || (__GNUC__ == 4 && __GNUC_MINOR__ > 8)
+#if __GNUC__ >= 5 || (__GNUC__ == 4 && __GNUC_MINOR__ > 8)
 #else
 namespace std{
 template<typename T, typename... Args>
-- 
2.39.2