nodiscc 00677ce437 CONTRIBUTING.md: approved Pull Requests are usually merged one week after approval (#3989)		2023-07-09 13:39:47 +00:00
..
.mailmap	…
CONTRIBUTING.md	CONTRIBUTING.md: approved Pull Requests are usually merged one week after approval (#3989)	2023-07-09 13:39:47 +00:00
PULL_REQUEST_TEMPLATE.md	Pull Request template: fix name of Miscellaneous section (#3988)	2023-07-09 12:42:07 +00:00