Commit graph

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