Preparing release 1.5

xavierleroy · xavierleroy · commit 6138255c068c · 2023-12-15T13:29:24.000+01:00
diff --git a/Changelog b/Changelog
@@ -1,4 +1,4 @@
-Release Next
+Release 1.5 (2023-12-15)
 
 - Pull request #22: use `-warn-error +A` instead of `-warn-error A` to avoid
   deprecation alert in 4.13.
diff --git a/num.opam b/num.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "1.5~dev"
+version: "1.6~dev"
 maintainer: "Xavier Leroy <xavier.leroy@inria.fr>"
 authors: [
   "Valérie Ménissier-Morain"

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-Release Next`
	`1`	`+Release 1.5 (2023-12-15)`
`2`	`2`
`3`	`3`	- Pull request #22: use `-warn-error +A` instead of `-warn-error A` to avoid
`4`	`4`	`deprecation alert in 4.13.`