Merge branch 'github-pr-maintainers' into 'master'
Add the $maintainers to the PR's body instead of the commit See merge request !56
Please register or sign in to comment
Add the $maintainers to the PR's body instead of the commit See merge request !56