This is an automated email from the git hooks/post-receive script.
"Mark Murray pushed a change to annotated tag linaro-snapshot-7.3-2018.11 in repository toolchain/gcc.
*** WARNING: tag linaro-snapshot-7.3-2018.11 was deleted! ***
tag was 6870624e357
The revisions that were on this annotated tag are still contained in other references; therefore, this change does not discard any commits from the repository.