Hi Ondrej, On Wed, Nov 14, 2018 at 11:42 AM Ondřej Surý <ond...@sury.org> wrote:
> The previous fix was not a real fix, it only rebuilt the package in a > non-merged environment. > > > Umm, what? > > > https://salsa.debian.org/php-team/php/blob/master-7.3/debian/patches/0048-Don-t-use-sed-found-by-configure-use-the-sed-command.patch > I meant the fix for #905187, and based on the changelog entry. Anyway, I see you have already tagged an upload containing that commit. Let's just wait for it to enter unstable. Thanks! -- Saludos, Felipe Sateler