From 8d5043f409f71d1cd749e95b9390003670d6d23a Mon Sep 17 00:00:00 2001
From: BrandonSchaefer <brandontschaefer@gmail.com>
Date: Thu, 6 Nov 2014 12:48:06 -0800
Subject: [PATCH] Could be a crash here, best to just check.

---
 src/mir_window.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/mir_window.c b/src/mir_window.c
index 5c11ee4a..39215174 100644
--- a/src/mir_window.c
+++ b/src/mir_window.c
@@ -489,7 +489,9 @@ void _glfwPlatformPostEmptyEvent(void)
 
 void _glfwPlatformGetFramebufferSize(_GLFWwindow* window, int* width, int* height)
 {
+  if (width)
     *width  = window->mir.width;
+  if (height)
     *height = window->mir.height;
 }