> From: Christophe de Dinechin
>
> Signed-off-by: Christophe de Dinechin
This was already acked by Lukash.
It would be kind if you report it so other people don't spend time on the
review again.
Frediano
> ---
> src/concrete-agent.cpp | 1 +
> 1 file changed, 1 insertion(+)
>
> diff --git
From: Christophe de Dinechin
Signed-off-by: Christophe de Dinechin
---
src/concrete-agent.cpp | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/concrete-agent.cpp b/src/concrete-agent.cpp
index 0720782..4cf70e7 100644
--- a/src/concrete-agent.cpp
+++ b/src/concrete-agent.cpp
@@ -9,6 +9,7