On 22.08.2023 09:56, Julien Grall wrote: > On 22/08/2023 02:30, Stefano Stabellini wrote: >> --- a/docs/misra/rules.rst >> +++ b/docs/misra/rules.rst >> @@ -59,7 +59,8 @@ maintainers if you want to suggest a change. >> - Required >> - Precautions shall be taken in order to prevent the contents of a >> header file being included more than once >> - - > > It is not clear to me why this line is removed. Was it added by mistake > in a previous commit?
The patch is replacing an empty comment ... >> + - Files that are intended to be included more than once do not need to >> + conform to the directive ... with a non-empty one. Jan