Assuming we're done with the transfer to new server by now.
closed
master
develop
changed target branch from master to develop
reopened
merged
mentioned in commit 14095d91
