https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83064
--- Comment #2 from Christian Felter <cfztol at hotmail dot com> --- I did "svn up" and after that I found the revision number like this: $ svn log --limit 1 ------------------------------------------------------------------------ r254890 | hjl | 2017-11-17 19:37:58 +0100 (Fri, 17 Nov 2017) | 14 lines ... more output, skipped I hope that is the right way ?
