On 2018-10-03 15:20, Marc-André Lureau wrote:
> This should have been removed as part of commit
> 692fbdf9f4c6f6bafd0b3a4d4f94973effd3bbae.
>
> Signed-off-by: Marc-André Lureau
> ---
> configure | 6 --
> 1 file changed, 6 deletions(-)
>
> diff --git a/configure b/configure
> index a7368044
On 03/10/2018 15:20, Marc-André Lureau wrote:
> This should have been removed as part of commit
> 692fbdf9f4c6f6bafd0b3a4d4f94973effd3bbae.
>
> Signed-off-by: Marc-André Lureau
Reviewed-by: Philippe Mathieu-Daudé
> ---
> configure | 6 --
> 1 file changed, 6 deletions(-)
>
> diff --git a
This should have been removed as part of commit
692fbdf9f4c6f6bafd0b3a4d4f94973effd3bbae.
Signed-off-by: Marc-André Lureau
---
configure | 6 --
1 file changed, 6 deletions(-)
diff --git a/configure b/configure
index a7368044cc..4f6d6e03b1 100755
--- a/configure
+++ b/configure
@@ -3557,12