diff options
Diffstat (limited to 'versions/baseline.json')
| -rw-r--r-- | versions/baseline.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/versions/baseline.json b/versions/baseline.json index 7a5fa610b..62997b829 100644 --- a/versions/baseline.json +++ b/versions/baseline.json @@ -7149,7 +7149,7 @@ "port-version": 0 }, "z3": { - "baseline": "4.8.10", + "baseline": "4.8.12", "port-version": 0 }, "z85": { |