-
Ismael Juma authored
It seems like it's sufficient to be able to refer to it in the PR. Author: Ismael Juma <ismael@juma.me.uk> Reviewers: Rajini Sivaram <rajinisivaram@googlemail.com> Closes #4202 from ijuma/exclude-committer-checklist-when-merging
d04daf57