From f68673fbe4ae7f97741a60979a56afbff6f3b53d Mon Sep 17 00:00:00 2001
From: Sander van Harmelen <sander@vanharmelen.nl>
Date: Thu, 23 May 2019 14:38:20 +0200
Subject: [PATCH] Update CHANGELOG.md

---
 CHANGELOG.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 0755e19f6..f9cd4a22c 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,7 +2,7 @@
 
 BUG FIXES:
 
-core: Always try to select a workspace after initialization (#21234)
+core: Always try to select a workspace after initialization [GH-21234]
 
 ## 0.12.0 (May 22, 2019)