On Fri, Apr 15, 2016 at 11:00:10PM +0200, Ludovic Courtès wrote: > “Obsolete” builds that are queued have to be stopped explicitly through > the web interface at hydra.gnu.org by one of the authorized people > (currently one of Mark, Andreas, or myself.)
Thanks for the information!