update changes

This commit is contained in:
John Whitington 2023-08-15 17:59:37 +01:00
parent e853730a42
commit e574f14a97
1 changed files with 4 additions and 0 deletions

View File

@ -1,3 +1,7 @@
2.7 (To come)
o Added opam file in-source
2.6 (July 2023)
New features: