From 3a4eb8bfadc65ff41a6912a9f72dfbdfa72add7f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Vladim=C3=ADr=20Vondru=C5=A1?= <mosra@centrum.cz>
Date: Sat, 10 Oct 2015 00:46:15 +0200
Subject: [PATCH] Platform: forgot to destroy PBuffer in
 WindowlessGlxApplication.

---
 src/Magnum/Platform/WindowlessGlxApplication.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Magnum/Platform/WindowlessGlxApplication.cpp b/src/Magnum/Platform/WindowlessGlxApplication.cpp
index ca7010224..ba0e5fbeb 100644
--- a/src/Magnum/Platform/WindowlessGlxApplication.cpp
+++ b/src/Magnum/Platform/WindowlessGlxApplication.cpp
@@ -135,6 +135,7 @@ WindowlessGlxApplication::~WindowlessGlxApplication() {
     _context.reset();
 
     glXMakeCurrent(_display, None, nullptr);
+    glXDestroyPbuffer(_display, _pbuffer);
     glXDestroyContext(_display, _glContext);
 }