From e2b0b8a6723d6e30a226efe2dc2752e88b58acec Mon Sep 17 00:00:00 2001 From: Joris van der Hoeven Date: Thu, 12 Nov 2020 13:19:59 +0000 Subject: [PATCH] Upgrade to version 1.99.15 --- about/changes/change-log.en.tm | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/about/changes/change-log.en.tm b/about/changes/change-log.en.tm index 83f1418..fcb5ea4 100644 --- a/about/changes/change-log.en.tm +++ b/about/changes/change-log.en.tm @@ -1,4 +1,4 @@ - + > @@ -14,6 +14,9 @@ Improved navigation and search tools for labels, references, and citations (1.99.15). + Indicate the current cursor position by shaking the mouse + (1.99.15). + Various bug fixes (1.99.15). Release of \VYour