On Sun, Mar 22, 2020 at 10:18 AM wrote:
>
> From: Cláudio Maia
>
> ---
> user/tools/tester.rst | 6 +++---
> 1 file changed, 3 insertions(+), 3 deletions(-)
>
> diff --git a/user/tools/tester.rst b/user/tools/tester.rst
> index 32e1ca2..a95651e 100644
> --- a/user/tools/tester.rst
> +++ b/user/t
From: Cláudio Maia
---
user/tools/tester.rst | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/user/tools/tester.rst b/user/tools/tester.rst
index 32e1ca2..a95651e 100644
--- a/user/tools/tester.rst
+++ b/user/tools/tester.rst
@@ -586,6 +586,6 @@ review the available opti