This commit is contained in:
John Whitington 2023-09-19 13:43:57 +01:00
parent 268e80ea9e
commit 652044235f
1 changed files with 1 additions and 1 deletions

View File

@ -1,7 +1,7 @@
2.7 (to come) 2.7 (to come)
o Added opam file in-source o Added opam file in-source
o Fixed -set-annotations with page links
2.6.1 (September 2023) 2.6.1 (September 2023)