Backport "Fix typo in `allTermArguments`" to 3.3 LTS#50

Closed

tgodzik wants to merge 2 commits intobackport-lts-3.3-21411from

backport-lts-3.3-21836

Commits on Feb 7, 2025

Fix typo in allTermArguments

mbovel
authored and
tgodzik
committed
Remove redundant `with Checking`

mbovel
authored and
tgodzik
committed