Skip to content

Increase 'extends' depth limit from 10 to 12#137

Merged
jrdouceur merged 1 commit intomainfrom johndo/extends-depthOct 4, 2024

Commits

Commits on Oct 4, 2024