Hello Tobias,
Tobias Burnus <tob...@codesourcery.com> writes: > On 18.08.23 23:24, Thiago Jung Bauermann wrote: >> Tobias Burnus <tob...@codesourcery.com> writes: >>> the patch looks good to me. Thanks! Can you commit the patch yourself or >>> do you need someone to do this for you? >> Thank you! I don't have commit access, so I would need someone to do >> this for me. > > Done now in commit r14-3344-g40a6803c6d8ca2. Thank you! -- Thiago