From 6cb860ba50d627812acabc4dfa9ab28a1f14ac52 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 31da5ba1c9..05c497c830 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()) {