Release 2.9.3

Author: cyderize

src/data/release.mdx

@@ -1,7 +1,12 @@
-- Fix the packaging of the OR Tools solver on linux distributions (:bugref:`889`).
-- Prevent output of and emit warning for invalid statistics in JSON streaming mode.
-- Fix crash in string interpolation (:bugref:`891`).
-- Fix `row` and `col` functions to use enumerated types instead of `int` (:bugref:`888`).
+
+-  Add ``mzn_max_version_required`` to enable models to speficy the maximum
+   version of MiniZinc required to run the model (:bugref:`872`).
+-  Replace use of ``ptrdiff_t`` with appropriate unsigned integer type.
+-  Clarify documentation example use of boolean extra flags in solver
+   configuration files.
+-  Warnings produced in solution checkers are now output as part of the
+   ``checker`` message when running in ``--json-stream`` mode.
+-  Plus 20 bugfixes!
 
 export default function Release({ children }) {
   return (

src/data/version.js

@@ -1,4 +1,5 @@
 const releaseList = [
+  ['2.9.3', '23 May 2025'],
   ['2.9.2', '6 March 2025'],
   ['2.9.1', '3 March 2025'],
   ['2.9.0', '11 February 2025'],
@@ -26,7 +27,7 @@ export const releases = releaseList.map(([version, date]) => ({
 
 export const requirement = {
   windows: 'Windows 10',
-  linux: 'Ubuntu 20.04',
+  linux: 'Ubuntu 22.04',
   macOS: 'macOS 11',
 }