emoji: Remove single-digit names for number emojis.

Names like `:1:`, `:2:` etc don't seem to be of much benefit rather
they seem to get rendered at places not intended.
This commit is contained in:
Harshit Bansal
2018-09-30 16:22:56 +00:00
committed by Tim Abbott
parent d8ddb7f69b
commit fc7e654d7b
2 changed files with 12 additions and 12 deletions

View File

@@ -8,4 +8,4 @@ ZULIP_VERSION = "1.9.0-rc2+git"
# Typically, adding a dependency only requires a minor version bump, and
# removing a dependency requires a major version bump.
PROVISION_VERSION = '26.8'
PROVISION_VERSION = '26.9'