On 28 April 2023 09:26:06 CEST, Tobias Burnus <tob...@codesourcery.com> wrote: >Committed as r14-319-g7ebd4a1d61993c0a75e9ff3098aded21ef04a4da
> Only other changes are fixing the variable name a(b)breviated_modproc_decl I think this is not good, I've mentioned it somewhere, i think, but I'll rename it. thanks!