IIRC raspbian.org is not owned or maintained by RPL/RPF. You probably need to take it up directly with them.
Statistics: Posted by thagrol — Wed Dec 31, 2025 2:44 pm