On Fri, Apr 17, 2020 at 11:33 AM Sebastian Huber
wrote:
>
> On 17/04/2020 19:30, Gedare Bloom wrote:
>
> On Fri, Apr 17, 2020 at 2:11 AM Sebastian Huber
> wrote:
>
> Close #3953.
> ---
> c-user/user_extensions.rst | 2 ++
> 1 file changed, 2 insertions(+)
>
> diff --git a/c-user/user_extensions.
On 17/04/2020 19:30, Gedare Bloom wrote:
On Fri, Apr 17, 2020 at 2:11 AM Sebastian Huber
wrote:
Close #3953.
---
c-user/user_extensions.rst | 2 ++
1 file changed, 2 insertions(+)
diff --git a/c-user/user_extensions.rst b/c-user/user_extensions.rst
index c3bd1c6..89b86fd 100644
--- a/c-us
On Fri, Apr 17, 2020 at 2:11 AM Sebastian Huber
wrote:
>
> Close #3953.
> ---
> c-user/user_extensions.rst | 2 ++
> 1 file changed, 2 insertions(+)
>
> diff --git a/c-user/user_extensions.rst b/c-user/user_extensions.rst
> index c3bd1c6..89b86fd 100644
> --- a/c-user/user_extensions.rst
> +++ b/
Close #3953.
---
c-user/user_extensions.rst | 2 ++
1 file changed, 2 insertions(+)
diff --git a/c-user/user_extensions.rst b/c-user/user_extensions.rst
index c3bd1c6..89b86fd 100644
--- a/c-user/user_extensions.rst
+++ b/c-user/user_extensions.rst
@@ -466,6 +466,8 @@ DIRECTIVE STATUS CODES: