From 2b4a2080d48c48153532e2e27e41229b1482d3fa Mon Sep 17 00:00:00 2001
From: Michael Zhou <zhoumotongxue008@gmail.com>
Date: Wed, 23 Mar 2016 16:40:59 -0400
Subject: [PATCH] Update CodeMirror to 5.13.2

This includes a hotfix for a gutter displaying problem which may
affect us.

Change-Id: I9571640694edbccd39c3bb4aa9be4d9c867e66d8
---
 lib/codemirror/BUCK | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/codemirror/BUCK b/lib/codemirror/BUCK
index 6e2544f9d3..8fc6942600 100644
--- a/lib/codemirror/BUCK
+++ b/lib/codemirror/BUCK
@@ -3,8 +3,8 @@ include_defs('//lib/codemirror/cm.defs')
 include_defs('//lib/codemirror/closure.defs')
 
 REPO = MAVEN_CENTRAL
-VERSION = '5.13'
-SHA1 = '4888b4e7dde6822ff5f688f5f89c84fd7cf5a764'
+VERSION = '5.13.2'
+SHA1 = '4a26f060aeca679fdf751d2b480499c8a5f71e47'
 
 if REPO == MAVEN_CENTRAL:
   URL = REPO + 'org/webjars/codemirror/%s/codemirror-%s.jar' % (VERSION, VERSION)