> On Feb 20, 2018, at 12:05 PM, Frediano Ziglio wrote:
>
>> On Fri, 2018-02-16 at 17:15 +0100, Christophe de Dinechin wrote:
>>> From: Christophe de Dinechin
>>>
>>> Signed-off-by: Christophe de Dinechin
>>> ---
>>>
> On Fri, 2018-02-16 at 17:15 +0100, Christophe de Dinechin wrote:
> > From: Christophe de Dinechin
> >
> > Signed-off-by: Christophe de Dinechin
> > ---
> > src/concrete-agent.cpp | 1 +
> > 1 file changed, 1 insertion(+)
> >
> > diff --git
On Fri, 2018-02-16 at 17:15 +0100, Christophe de Dinechin wrote:
> 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
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 891c09b..ac37788 100644
--- a/src/concrete-agent.cpp