On 2017.05.03 at 09:30 +0200, Martin Liška wrote: > Can you someone add 7.1 release to git tags. I guess it's following revision: > f9105a38249fb57f7778acf3008025f2dcac2b1f
Everyone can add it: % git tag gcc-7_1_0-release f9105a38249fb57f7778acf3008025f2dcac2b1f % git push origin gcc-7_1_0-release I've added the tag. -- Markus
