On Wed, 2011-08-10 at 09:25 +0100, Nigel Hawkins wrote: > Am I right in thinking that the opengrok tool is still tracking the old > repositories rather than the new "core" repository? > > Or is it just not updated very often? Please ignore that, it seems to have changed over-night.