bjorn3 opened PR #3431 from remove_sarg_t to main:
remove_sarg_t
main
They are no longer necessary with the new style backends.
pchickey submitted PR review.
pchickey merged PR #3431.
Last updated: Jan 10 2026 at 20:04 UTC