See https://bugs.eclipse.org/bugs/show_bug.cgi?id=429670
If you have already pulled in this tag from upstream then you can delete it locally by using the following command: git tag -d R3_9_2 Tom
_______________________________________________ p2-dev mailing list [email protected] https://dev.eclipse.org/mailman/listinfo/p2-dev
