On Tue, 18 Jul 2017, Thomas Schwinge wrote: > This being a Git-only branch, should it nevertheless be listed on > <https://gcc.gnu.org/svn.html>, in the "Active Development Branches" > section, replacing "gomp-4_0-branch" there?
I would say so (with an according note). Thanks for thinking of that. (Once we have git in place, which will allow for a cp or mv, I'm thinking to break this portion out and call it branches.html or so.) Gerald
