Re: libhtml5parser-java: Update to a more recent version? (#1107520)

Dear Markus,

Any chance you could have a look at these issues, please?

Regards
=46ab

Le mardi 7 octobre 2025, 10:36:21 heure normale d=E2=80=99Europe centrale F=
ab Stz a =C3=A9crit :
> I don't have any strong opinion. Please go ahead.
>=20
> Would you also have a look at these?
>=20
> Jetty12
>=20
> <https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=3D1108370>
> <https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=3D1108253>
>=20
> Tomcat10 & tomcat11
>=20
> <https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=3D1108280>
>=20
> Thank you
> Fab=20
>=20