From 652044235f85d72186e0a08b9958586990d876f9 Mon Sep 17 00:00:00 2001 From: John Whitington Date: Tue, 19 Sep 2023 13:43:57 +0100 Subject: [PATCH] Changes --- Changes | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Changes b/Changes index d5059ed..d6b5708 100644 --- a/Changes +++ b/Changes @@ -1,7 +1,7 @@ 2.7 (to come) o Added opam file in-source - +o Fixed -set-annotations with page links 2.6.1 (September 2023)