Hi @antoyo , it looks like the bot posted the patch correctly but had issues posting the comment pointing [at the patch in inbox](https://inbox.sourceware.org/test-list/175743424336.5.12081261745369171928.batrachomyomachia.gcc.gcc-test.74....@forge-test.rdfm.org/T/#t). Thank you for trying this out and please let me know if something is not working as expected.
-- https://forge.sourceware.org/gcc/gcc-TEST/pulls/82#issuecomment-2323
