Skip to content

Add version check to tools/lint.sh#1955

Merged
juliocc merged 1 commit intomasterfrom wiktorn-version-check-lintDec 30, 2023

Commits

Commits on Dec 29, 2023