OP#421 fixed it

This commit is contained in:
2026-02-13 17:21:01 +01:00
parent 23c0df59ad
commit 9da45bba7a
3 changed files with 33 additions and 32 deletions

View File

@@ -1 +1,2 @@
--no-variable_scope-check
--no-variable_scope-check
--no-top_scope_facts