Hi Greg,
I was wondering if it would be better to move them to the dedicated
subproject, but as you I don't see reason to move outside ... so this
question was just for a quick check between us.

So happy Pivot-Scala to all, from here :-) .

Bye

Reply via email to