Skip to content
Snippets Groups Projects
Commit 0ffd8c04 authored by David Schäfer's avatar David Schäfer
Browse files

[FIX] reduce runtime by ~45% (!) through the removal of builtins.any

parent e880fa7d
No related branches found
No related tags found
3 merge requests!271Static expansion of regular expressions,!269Several fixes,!260Follow-Up Translations
Pipeline #24716 passed with stage
in 3 minutes and 54 seconds
This commit is part of merge request !269. Comments created here will be created in the context of that merge request.
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment