Skip to content

Disable ExistentialAny temporarily#10

Merged
czechboy0 merged 2 commits intoapple:mainfrom
czechboy0:hd-disable-existential-any-temporarily
Jul 17, 2023
Merged

Disable ExistentialAny temporarily#10
czechboy0 merged 2 commits intoapple:mainfrom
czechboy0:hd-disable-existential-any-temporarily

Commits

Commits on Jul 17, 2023