From a7773dd7e57158ac9006c582b999a75f09d1ec21 Mon Sep 17 00:00:00 2001
From: Jacob Vosmaer <contact@jacobvosmaer.nl>
Date: Tue, 30 Jun 2015 15:27:57 +0200
Subject: [PATCH] 7.12 has been released

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

diff --git a/CHANGELOG b/CHANGELOG
index 22207eabc59..04625b01d61 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -26,7 +26,7 @@ v 7.13.0 (unreleased)
   - Improve performance for issue and merge request pages 
   - Users with guest access level can not set assignee, labels or milestones for issue and merge request
 
-v 7.12.0 (unreleased)
+v 7.12.0
   - Fix Error 500 when one user attempts to access a personal, internal snippet (Stan Hu)
   - Disable changing of target branch in new merge request page when a branch has already been specified (Stan Hu)
   - Fix post-receive errors on a push when an external issue tracker is configured (Stan Hu)
-- 
GitLab