Submitted by Ignacio Agulló on Mon, 07/17/2023 - 16:29
Re: GNU Boot 20230717 released! (unofficial, proposed for re-use by GNU project)
Mon, 07/17/2023 - 16:29
Excellent news. This year you are more productive than ever.
Kind regards,
Ignacio Agulló.