Robert 0bd4da3a6c Merge branch 'master' into allow_pull_requests		2020-06-01 09:18:20 +01:00
..
codeql	Don't analyse tests	2020-05-08 11:57:07 +02:00
ISSUE_TEMPLATE	Apply suggestions from code review	2020-05-29 08:22:30 +02:00
workflows	Allow pull requests, and report correct commit oid and ref	2020-05-28 09:26:52 +01:00
pull_request_template.md	Fix typos / errors in PR template	2020-04-29 16:45:47 +01:00