3 commits

Author	SHA1	Message	Date
MarcoFalke	fa0074e2d8	scripted-diff: Bump copyright headers ... -BEGIN VERIFY SCRIPT- ./contrib/devtools/copyright_header.py update ./ -END VERIFY SCRIPT-	2020-12-31 09:45:41 +01:00
Hennadii Stepanov	93504da3a9	ci: Fix COMMIT_RANGE variable value for PRs	2020-12-21 12:10:43 +02:00
MarcoFalke	faeb40bee3	ci: Install missing lint packages ... Also merge script into ci/lint_run_all.sh because env vars weren't exported properly	2020-12-18 07:40:57 +01:00