Tackles #2124 as regards renaming `case_return_of_`#2157

Merged

MatthewDaggitt merged 1 commit intoagda:masterfrom

jamesmckinna:returning

Oct 16, 2023

Commits on Oct 16, 2023

tackles #2124 as regards `case_return_of_`
jamesmckinna
committed