On 17.12.2024 17:40, Andrew Cooper wrote: > On 17/12/2024 4:24 pm, Nicola Vetrini wrote: >> This extension name is missing from the current list of extension used >> by Xen, therefore is must be added to that configuration in order to >> avoid violations for MISRA C Rule 1.1. >> >> Signed-off-by: Nicola Vetrini <[email protected]> > > Given CI is broken, I've put this in for testing: > > https://gitlab.com/xen-project/people/andyhhp/xen/-/pipelines/1592826906
If this was fixing an earlier commit, shouldn't it come with a Fixes: tag anyway? Jan
