Merge pull request #2924 from cgwalters/drop-syntax-check
authorDan Nicholson <dbn@endlessos.org>
Tue, 11 Jul 2023 19:31:14 +0000 (13:31 -0600)
committerGitHub <noreply@github.com>
Tue, 11 Jul 2023 19:31:14 +0000 (13:31 -0600)
build: Drop `make syntax-check`


Trivial merge