engine: allow to override opts at query time#501
Merged
MichaHoffmann merged 2 commits intomainfrom mhoffmann/allow-to-override-engine-opts-at-query-timeDec 16, 2024
+78-65
Commits
Commits on Dec 15, 2024
- committed
Michael Hoffmann
Commits on Dec 16, 2024
- committedMichael Hoffmann