Merge branch 'maint-0.4.2' into maint-0.4.3

Remove check-best-practices from check-local in maint-0.4.3.
(The check-local jobs are all on separate lines in 0.4.3.)
This commit is contained in:
teor 2020-04-09 19:41:19 +10:00
commit 1ae0839ef2
No known key found for this signature in database
GPG Key ID: 10FEAA0E7075672A

View File

@ -271,7 +271,6 @@ check-local: \
check-spaces \
check-changes \
check-includes \
check-best-practices \
shellcheck \
check-cocci