Before submitting a pull-request to Gitbucket I have first:

• [] read the contribution guidelines
• [] rebased my branch over master
• [] verified that project is compiling
• [] verified that tests are passing
• [] squashed my commits as appropriate (keep several commits if it is relevant to understand the PR)
• [] [marked as closed](https://help.github.com/articles/closing-issues-via-commit-messages/) all issue ID that this PR should correct