Skip to content

search: delete unused symbol Search function

Administrator requested to merge rvt/dead-symbol-search into main

Created by: rvantonder

In the process of Job creation we obsoleted this function 🤣

Test plan

Semantics-preserving.

Merge request reports