Skip to content

Add new utility to simplify searching

Duncan Macleod requested to merge cherry-pick-583fe3de into master

Add new utility to simplify searching

See merge request !187 (merged)

(cherry picked from commit 583fe3de)

068894bf search.py: new utility to simplify searching

Merge request reports