Le sam. 22 mars 2025 à 17:22, Robin Leroy <[email protected]> a écrit :
> While that is indeed the preferred way to report issues, there is need to > file PRI feedback on this specific issue, it will be dealt with. > As Peter has pointed out to me, this should read “there is *no* need to file PRI feedback”.
