Remove unneeded "replace" directives.#15018

Merged

jmank88 merged 1 commit intodevelopfrom chore/cgruber_cleanup_modfile

Nov 11, 2024

+3-8

Commits on Nov 11, 2024

Remove extra replace, with a more targeted one.
cgruber
committed