This repository was archived by the owner on Apr 2, 2026. It is now read-only.

Make nested_in more flexible#899

Merged

zesterer merged 2 commits into

mainfrom

more-flexible-nested_in

Oct 30, 2025

Select a check to view from the sidebar