From 0c50f2ee09c92f607da9c98a8fc63ecbdaa2c27e Mon Sep 17 00:00:00 2001
From: Jack Zhang <jack@zulipchat.com>
Date: Wed, 21 Jun 2017 18:39:26 -0700
Subject: [PATCH] [third] Add lightweight fuzzysearch library.

This is intended to be used in the new /integrations page.
---
 package.json | 1 +
 version.py   | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/package.json b/package.json
index a2d16e7de5..d0495bc5f6 100644
--- a/package.json
+++ b/package.json
@@ -7,6 +7,7 @@
   "dependencies": {
     "clipboard": "1.5.16",
     "expose-loader": "0.7.3",
+    "fuzzysearch": "1.0.3",
     "handlebars": "4.0.6",
     "i18next": "3.4.4",
     "i18next-browser-languagedetector": "0.3.0",
diff --git a/version.py b/version.py
index ec54626880..a61a642ea2 100644
--- a/version.py
+++ b/version.py
@@ -1,2 +1,2 @@
 ZULIP_VERSION = "1.6.0+git"
-PROVISION_VERSION = '5.12'
+PROVISION_VERSION = '5.13'