On Fri, Dec 2, 2022 at 3:17 AM Sebastian Huber <
sebastian.hu...@embedded-brains.de> wrote:
>
>
> On 01.12.22 19:32, Joel Sherrill wrote:
> > diff --git a/c-user/message/directives.rst
> b/c-user/message/directives.rst
> > index 9cb88e2..b71cdc6 100644
> > --- a/c-user/message/directives.rst
> > +
On 01.12.22 19:32, Joel Sherrill wrote:
diff --git a/c-user/message/directives.rst b/c-user/message/directives.rst
index 9cb88e2..b71cdc6 100644
--- a/c-user/message/directives.rst
+++ b/c-user/message/directives.rst
@@ -99,6 +99,11 @@ effect. Default attributes can be selected by using the