Jan-Erik Rediger 3964523c4d Remove pull request check list ... We ignored it for most parts anyway, we don't have a changelog and testing is done by CI and stuff only lands when green anyway.		2019-09-13 13:27:22 +02:00
..
CODEOWNERS	Update CODEOWNERS	2019-08-22 11:30:30 -05:00