It's better to let the exception fall through than to catch and ignore it.

But mainly this commit is to test the "create pull request" feature of git / SourceTree
Merge branch 'test_pull_request' into develop