Oh, so thought I already uploaded it, but I hadn’t. So, I did it just now.
Thanks! -- Ondřej Surý <ond...@sury.org> > On 14 Nov 2018, at 15:47, Felipe Sateler <fsate...@debian.org> wrote: > > 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