On 7/13/20 10:04 PM, Alex Bennée wrote:
> Review comment came just too late ;-)
>
> Signed-off-by: Alex Bennée
> ---
> docs/devel/multi-thread-tcg.rst | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/docs/devel/multi-thread-tcg.rst b/docs/devel/multi-thread-tcg.rst
> ind
On 13/07/2020 22.04, Alex Bennée wrote:
> Review comment came just too late ;-)
>
> Signed-off-by: Alex Bennée
> ---
> docs/devel/multi-thread-tcg.rst | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/docs/devel/multi-thread-tcg.rst b/docs/devel/multi-thread-tcg.rst
> ind
On 7/13/20 1:04 PM, Alex Bennée wrote:
> Review comment came just too late ;-)
>
> Signed-off-by: Alex Bennée
> ---
> docs/devel/multi-thread-tcg.rst | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
Reviewed-by: Richard Henderson
r~
Review comment came just too late ;-)
Signed-off-by: Alex Bennée
---
docs/devel/multi-thread-tcg.rst | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs/devel/multi-thread-tcg.rst b/docs/devel/multi-thread-tcg.rst
index 42158b77c7..21483870db 100644
--- a/docs/devel/multi-th
