On 2024-03-12 23:22, Mark H Weaver wrote:
> Simon Tournier <zimon.toutoune@gmail.com> writes:
> 
>> [...]
>> 
>> AFAIK, Hydra is now down.  IIRC, Mark was in charge.  Mark?
> 
> Yes, our instance of Hydra was retired many years ago.  I agree that it
> makes sense to remove it from 
> <https://www.gnu.org/software/devel.html>.
> 
>       Thanks,
>         Mark

Thanks, the section was removed from 
<https://www.gnu.org/software/devel.html>.

-- 
Jing Luo
About me: https://jing.rocks/about/
PGP Fingerprint: 4E09 8D19 00AA 3F72 1899 2614 09B3 316E 13A1 1EFC