Re: [INTERNALS-WIN] Archive web-rmtools?

Hi,

No problem for me.

Jean-Baptiste

Win32service Lead Dev
French PHP documentation translator

> Le 30 juil. 2024 =C3=A0 16:07, Christoph M. Becker <[email protected]> a =C3=
=A9crit :
>=20
> =EF=BB=BFHi all!
>=20
> About a week ago I had opened an issue suggesting to archive
> web-rmtools[1], and since there have not been any objections, I'm asking
> here:
>=20
> Are there any objections against archiving web-rmtools?
>=20
> Note that I still don't think that this code has ever been used for
> anything else than Windows builds (and is no longer used for that
> purpose for a long time), since it is listed in the web- "namespace",
> I've cc'd the Webmaster mailing list.
>=20
> [1] <https://github.com/php/web-rmtools/issues/22>
>=20
> Cheers,
> Christoph