2 commits

Author	SHA1	Message	Date
Wladimir J. van der Laan	203a67d21f	doc: Put PR template in comments ... This prevents the common annoyance of the text being included into PRs accidentally.	2019-09-25 15:37:19 +02:00
MarcoFalke	fae9e84cbb	doc: Add GitHub pr template	2018-09-23 08:31:11 -04:00