Tags give the ability to mark specific points in history as being important
This project is mirrored from https://gcc.gnu.org/git/gcc.git. Pull mirroring updated .