Implement search_regex from #847
This commit is contained in:

committed by
Filippo Valsorda

parent
868d62a509
commit
ac3e9394e7