From 036be67a2e65fc81bac634c1b14a529585cdb940 Mon Sep 17 00:00:00 2001 From: Integer Limit <103940576+IntegerLimit@users.noreply.github.com> Date: Sat, 9 Dec 2023 11:05:01 +1100 Subject: [PATCH] Update RealBench to v1.0.4 (#565) Fixes #563. [BUG] [DETAILS] detail = "Fixes #563" [DETAILS] [IGNORE] checks = { compareNot = "1.7-alpha-2" } [IGNORE] --- manifest.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/manifest.json b/manifest.json index af792b2..418bed3 100644 --- a/manifest.json +++ b/manifest.json @@ -770,7 +770,7 @@ }, { "projectID": 945503, - "fileID": 4932513, + "fileID": 4941450, "required": true } ]