[cdt-dev] CDT 7_0_2 tag?

[Mike Wrighton <mike.wrighton@xxxxxxxxxxxxxx>]

Hi,

There doesn't seem to be a tag for the 7.0.2 release, am I missing
something? I used one the builds on Feb 11th which I think is the
right one...

Thanks,
Mike Wrighton