Re: [PATCH 07/10] gnu: hurd: Add flex as an input to mig.

[Ludovic Courtès]

Manolis Ragkousis <manolis...@gmail.com> skribis:

> From afdd6c8f76d9f11d7acb4d7d00d48d805f0ba0c6 Mon Sep 17 00:00:00 2001
> From: Manolis Ragkousis <manolis...@gmail.com>
> Date: Tue, 12 May 2015 20:59:32 +0300
> Subject: [PATCH 07/10] gnu: hurd: Add flex as an input to mig.
>
> * gnu/packages/hurd (mig): Add flex as an input.

OK for wip-hurd and/or master.

Ludo’.