Skip to content
Snippets Groups Projects

semchecks: remove check for DS at non-delegation point

Merged Daniel Salzman requested to merge sem_check_ds into master
  1. Oct 04, 2023