Deprecate and remove from the build an unused 2-line utility function#7030

Merged

tautschnig merged 1 commit intodiffblue:developfrom

martin-cs:fix/deprecate-rewrite-index

Aug 11, 2022

Commits on Jul 27, 2022

Deprecate and remove from the build an unused 2-line utility function
martin
committed