tree 32fa06b3cf961739d2f0fdc8e95db250ec2aa66d
parent b818185cf8b463cd96189ad75dfbe8ac99c54ba1
author Roger Meier <roger@apache.org> 1428440731 +0200
committer Roger Meier <roger@apache.org> 1428440731 +0200

CONTRIBUTING.md: add info on branch names and commit message for GitHub PR's