Vadim Zeitlin 6a41d8a486 Relax code style check for NULL ... This is fine tuned to allow the string in the last commit to pass this check, but still generally makes sense too.		2023-10-01 17:05:28 +02:00
..
ISSUE_TEMPLATE	Refactor issue templates using HTML comments	2022-09-27 23:27:42 +02:00
workflows	Relax code style check for NULL	2023-10-01 17:05:28 +02:00
CONTRIBUTING.md	Revert "Explain that GitHub PRs are temporarily disabled"	2022-01-12 23:42:18 +01:00