Deprecate has_symbol [blocks: #6727]#6766

Closed

tautschnig wants to merge 1 commit intodiffblue:developfrom

tautschnig:cleanup/has_symbol

Commits on May 9, 2022

Make has_symbol configurable and deprecate the existing has_symbol
tautschnig
committed