From e7bc861f3a49701a605d2d2df2f4e94561748ad7 Mon Sep 17 00:00:00 2001
From: enricoturri1966 <enricoturri@seznam.cz>
Date: Tue, 5 Apr 2022 13:03:44 +0200
Subject: [PATCH] Fix into OpenGLManager::GLInfo::to_string()

---
 src/slic3r/GUI/OpenGLManager.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/slic3r/GUI/OpenGLManager.cpp b/src/slic3r/GUI/OpenGLManager.cpp
index b0bf682dba..a619d605be 100644
--- a/src/slic3r/GUI/OpenGLManager.cpp
+++ b/src/slic3r/GUI/OpenGLManager.cpp
@@ -217,6 +217,7 @@ std::string OpenGLManager::GLInfo::to_string(bool for_github) const
         }
 #else
         const std::string extensions_str = gl_get_string_safe(GL_EXTENSIONS, "");
+        boost::split(extensions_list, extensions_str, boost::is_any_of(" "), boost::token_compress_on);
 #endif // ENABLE_GL_CORE_PROFILE
 
         if (!extensions_list.empty()) {