Hello,
I have pushed a slightly updated version of your patch to Git
(salsa) now, so it should be part of next release.
https://salsa.debian.org/gdb-team/gdb/commit/c9f210a8e1fcd89d2f24630a0283d68fa3b6275f
Regards
Missatge de Tommi Vainikainen del dia ds., 20 de
jul. 2019 a les 11:42:
>
> Source: gdb
> Severity: normal
> Tags: patch
>
> Hi, as a maintainer of flex-old package I'm considering requesting
> removing it as obsolete and unmaintained version of flex. The
> gdb Build-Depends on flex-old optionally. Please build the
> package only against current flex by removing references to flex-old
> package such as changed in the following patch.
>
> --- a/debian/control
> +++ b/debian/control
> @@ -17,7 +17,7 @@ Build-Depends:
> gettext,
> bison,
> dejagnu,
> - flex | flex-old,
> + flex,
> procps,
> # Do we really care that much about running the Java tests?
> # gcj-jdk | gcj,
--
Héctor Orón -.. . -... .. .- -. -.. . ...- . .-.. --- .--. . .-.