fix: issue with non-default backends not getting tool options#3265

Merged

jdx merged 1 commit intomainfrom tool-options-pass

Nov 28, 2024

+32-6

Commits on Nov 28, 2024

fix: issue with non-default backends not getting tool options
jdx
committed