Looks great, please push it. Thanks for this.
On Sat, Apr 11, 2020 at 7:42 AM Sebastian Huber
wrote:
>
> Close #3904.
> ---
> user/tracing/eventrecording.rst | 222
> ++--
> 1 file changed, 212 insertions(+), 10 deletions(-)
>
> diff --git a/user/tracing/eve
Close #3904.
---
user/tracing/eventrecording.rst | 222 ++--
1 file changed, 212 insertions(+), 10 deletions(-)
diff --git a/user/tracing/eventrecording.rst b/user/tracing/eventrecording.rst
index d799774..27e929c 100644
--- a/user/tracing/eventrecording.rst
++
