At this point the PR doesn't compile. So not sure what to do. It seems like Anatole's moved forward on it anyways.....
On Sun, Oct 1, 2017 at 5:02 PM P. Ottlinger <[email protected]> wrote: > 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 >
