Hi,
On Fri, Jun 03, 2016 at 11:52:17AM -0400, Frediano Ziglio wrote:
> >
> > ---
> > server/char-device.c | 6 ++
> > server/reds.c| 8 ++--
> > 2 files changed, 8 insertions(+), 6 deletions(-)
> >
> > diff --git a/server/char-device.c b/server/char-device.c
> > index cb35aa2..8
>
> ---
> server/char-device.c | 6 ++
> server/reds.c| 8 ++--
> 2 files changed, 8 insertions(+), 6 deletions(-)
>
> diff --git a/server/char-device.c b/server/char-device.c
> index cb35aa2..84efdfb 100644
> --- a/server/char-device.c
> +++ b/server/char-device.c
> @@ -851,6 +8
---
server/char-device.c | 6 ++
server/reds.c| 8 ++--
2 files changed, 8 insertions(+), 6 deletions(-)
diff --git a/server/char-device.c b/server/char-device.c
index cb35aa2..84efdfb 100644
--- a/server/char-device.c
+++ b/server/char-device.c
@@ -851,6 +851,12 @@ void red_char_