Skip to content

Add support for reporting references to discontinued specs#503

Merged
dontcallmedom merged 1 commit intomainfrom detect-outdated-specsDec 6, 2023

Commits

Commits on Nov 29, 2023