[cdt-dev] Bugzilla down

[Bogdan Gheorghe <gheorghe@xxxxxxxxxx>]

Hi James -

I put in a patch that will address all
of the bugs you've opened on the Indexer but Bugzilla is down. Tomorrow's
build should have my patch and I'll try to update Bugzilla when it comes
around.

Thanks,
Bogdan