Jira issue originally created by user @doctrinebot:
This issue is created automatically through a Github pull request on behalf of JeroenDeDauw:
As per comment on 047abd4
Comment created by @doctrinebot:
A related Github Pull-Request [GH-641] was closed:
Issue was closed with resolution "Fixed"