On 2015-11-01, Dominik Psenner wrote: > Stefan, can you grant me write access to the git repository? I've checked > these pull requests twice now and to me they look just fine.
There is no git repository I could grant access to :-) The github repo is a read-only mirror of our subversion. You close PRs by using the magical "closes #XX" type phrases inside the commit message. Stefan
