From 1daaf2370e83f861e68e08f0eb346e4e6f7d19f2 Mon Sep 17 00:00:00 2001
From: Darcy Wong <darcywong00@users.noreply.github.com>
Date: Mon, 25 May 2020 12:59:49 +0700
Subject: [PATCH] Update android/history.md

Co-authored-by: Joshua Horton <joshua_horton@sil.org>
---
 android/history.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/android/history.md b/android/history.md
index e4ff35a419..7b463f619f 100644
--- a/android/history.md
+++ b/android/history.md
@@ -2,7 +2,7 @@
 
 ## 2020-05-25 13.0.6212 stable
 * Bug fix:
-  * Fix system keyboard globe button override ()
+  * Fix system keyboard globe button override (#3161)
 
 ## 2020-05-08 13.0.6211 stable
 * no change to Keyman for Android (rebuild FV app)