On 2018-01-26 22:22, Manoj Kumar wrote:
> Initial indication was provided in July last year, that the
> trove-integration repository was going away.
> All the elements have been merged into trove, and are being maintained
> there.
>
> I do not believe anyone spoke up then. If anyone is
Initial indication was provided in July last year, that the
trove-integration repository was going away.
All the elements have been merged into trove, and are being maintained
there.
I do not believe anyone spoke up then. If anyone is depending on the
separate repository, do speak up.
Cheers,
