On Sun, 20 May 2018, Richard Biener wrote: > IIRC there is a 24h rule that global maintainers can invoke. Not > sure if that is formally documented somewhere.
Yes, we have a reversion policy; it is documented at https://gcc.gnu.org/develop.html And, after me just having applied the patch below, now directly reachable at https://gcc.gnu.org/develop.html#reversion Gerald Index: develop.html =================================================================== RCS file: /cvs/gcc/wwwdocs/htdocs/develop.html,v retrieving revision 1.180 diff -u -r1.180 develop.html --- develop.html 25 Apr 2018 08:44:26 -0000 1.180 +++ develop.html 20 May 2018 20:20:35 -0000 @@ -154,7 +154,7 @@ so it is unlikely that many conflicts will occur.</p> -<h3>Patch Reversion</h3> +<h3 id="reversion">Patch Reversion</h3> <p>If a patch is committed which introduces a regression on any target which the Steering Committee considers to be important and if:</p>
