Re: Anyone looking at this PR?

[P. Ottlinger]

Am 30.09.2017 um 23:13 schrieb Anatole Tresch:
> I shortly looked at it. It makes sense, so +1 to merge from my side...

I'm unable to accept the PR .... not sure if it's a bug with the
Github-integration, but +1 from me.

Phil