<font size=2 face="sans-serif">Initial indication was provided in July
last year, that the trove-integration repository was going away.</font><br><font size=2 face="sans-serif">All the elements have been merged into
trove, and are being maintained there.</font><br><br><font size=2 face="sans-serif">I do not believe anyone spoke up then.
If anyone is depending on the separate repository, do speak up.</font><br><br><font size=2 face="sans-serif">Cheers,</font><br><font size=2 face="sans-serif">- Manoj</font><BR>