3 commits

Author	SHA1	Message	Date
def	1bb9a5f54f	No need for Summary title	2020-10-20 18:33:42 +02:00
def	90ad617e9b	Add asan+ubsan or memcheck	2020-10-20 10:43:33 +02:00
12pm	35a2b845c1	add a checklist for PRs (fixes #3130)	2020-10-18 12:06:02 +02:00