> 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 -- Ondřej Surý <ond...@sury.org> > On 14 Nov 2018, at 14:42, Felipe Sateler <fsate...@debian.org> wrote: > > Control: tags -1 patch > Control: user m...@linux.it > Control: usertags -1 usrmerge > > On Tue, 13 Nov 2018 01:27:41 -0800 Kunal Mehta <lego...@member.fsf.org> wrote: > > This is the same regression as #905187 - is there a good way we can > > prevent this from happening again? > > The previous fix was not a real fix, it only rebuilt the package in a > non-merged environment. Please find attached a patch that sets SED to a > known-good value, thus making the build work for both merged and non-merged > systems. > > Saludos, > Felipe Sateler > <0001-Always-use-bin-sed-as-sed-command.patch>
