[third] Add lightweight fuzzysearch library.

This is intended to be used in the new /integrations page.
This commit is contained in:
Jack Zhang
2017-06-21 18:39:26 -07:00
committed by Tim Abbott
parent 0fc93278ca
commit 0c50f2ee09
2 changed files with 2 additions and 1 deletions

View File

@@ -1,2 +1,2 @@
ZULIP_VERSION = "1.6.0+git"
PROVISION_VERSION = '5.12'
PROVISION_VERSION = '5.13'