new version

melsman · melsman · commit bed9b6fbb4ad · 2024-11-20T19:52:29.000+01:00
diff --git a/NEWS.md b/NEWS.md
@@ -1,5 +1,14 @@
 ## MLKit NEWS
 
+### MLKit version 4.7.13 is released
+
+* mael 2024-11-20: Implementation of OS.IO.poll (PR #188).
+
+* mael 2024-11-20: Opaque definitions of structures Time, Timer, Posix, OS.
+
+* mael 2024-11-20: Implementation of deep argument flattening optimisation (PR
+  #182).
+
 ### MLKit version 4.7.12 is released
 
 * mael 2024-09-23: Optimiser bug fix with static selection of tuples containing
diff --git a/configure.ac b/configure.ac
@@ -1,4 +1,4 @@
-AC_INIT(MLKit, [v4.7.11])
+AC_INIT(MLKit, [v4.7.13])
 AC_CONFIG_HEADERS([src/config.h])
 AC_REVISION($Revision$)
 AC_CONFIG_FILES([src/Runtime/Makefile

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-AC_INIT(MLKit, [v4.7.11])`
	`1`	`+AC_INIT(MLKit, [v4.7.13])`
`2`	`2`	`AC_CONFIG_HEADERS([src/config.h])`
`3`	`3`	`AC_REVISION($Revision$)`
`4`	`4`	`AC_CONFIG_FILES([src/Runtime/Makefile`