> On 7 Feb 2018, at 14:58, Lukáš Hrázký wrote:
>
> On Wed, 2018-02-07 at 14:44 +0100, Christophe de Dinechin wrote:
>>> On 7 Feb 2018, at 12:12, Lukáš Hrázký wrote:
>>>
>>> On Wed, 2018-02-07 at 11:35 +0100, Christophe de Dinechin wrote:
> On 7 Feb 2018, at 11:01, Frediano Ziglio wrote:
On Wed, 2018-02-07 at 14:44 +0100, Christophe de Dinechin wrote:
> > On 7 Feb 2018, at 12:12, Lukáš Hrázký wrote:
> >
> > On Wed, 2018-02-07 at 11:35 +0100, Christophe de Dinechin wrote:
> > > > On 7 Feb 2018, at 11:01, Frediano Ziglio wrote:
> > > >
> > > > >
> > > > > From: Christophe de Din
> On 7 Feb 2018, at 12:12, Lukáš Hrázký wrote:
>
> On Wed, 2018-02-07 at 11:35 +0100, Christophe de Dinechin wrote:
>>> On 7 Feb 2018, at 11:01, Frediano Ziglio wrote:
>>>
From: Christophe de Dinechin
Signed-off-by: Christophe de Dinechin
---
docs/spice_style
On Wed, 2018-02-07 at 11:35 +0100, Christophe de Dinechin wrote:
> > On 7 Feb 2018, at 11:01, Frediano Ziglio wrote:
> >
> > >
> > > From: Christophe de Dinechin
> > >
> > > Signed-off-by: Christophe de Dinechin
> > > ---
> > > docs/spice_style.txt | 113
> > >
> On 7 Feb 2018, at 11:01, Frediano Ziglio wrote:
>
>>
>> From: Christophe de Dinechin
>>
>> Signed-off-by: Christophe de Dinechin
>> ---
>> docs/spice_style.txt | 113
>> ---
>> 1 file changed, 81 insertions(+), 32 deletions(-)
>>
>> diff --g
>
> From: Christophe de Dinechin
>
> Signed-off-by: Christophe de Dinechin
> ---
> docs/spice_style.txt | 113
> ---
> 1 file changed, 81 insertions(+), 32 deletions(-)
>
> diff --git a/docs/spice_style.txt b/docs/spice_style.txt
> index eb0e30
From: Christophe de Dinechin
Signed-off-by: Christophe de Dinechin
---
docs/spice_style.txt | 113 ---
1 file changed, 81 insertions(+), 32 deletions(-)
diff --git a/docs/spice_style.txt b/docs/spice_style.txt
index eb0e30ef..8e2e7363 100644
---
