Re: [SCALA-API] Scala API branch pushed to gitbox repo

[Benedikt Ritter]

Hi Mark,

> Am 22.12.2017 um 12:01 schrieb Mark Keinhörster 
> <mark.keinhoers...@codecentric.de>:
> 
> Hi,
> I would like to start bringing the branch up to date.
> To your question, I would prefer merging for ease of use.

Go for it!

> 
> Thanks,
> Makr