On 28/10/23 at 03:27 +0200, gregor herrmann wrote: > On Sat, 28 Oct 2023 02:13:30 +0200, Santiago Vila wrote: > > > El 28/10/23 a las 0:18, gregor herrmann escribió: > > > On Fri, 27 Oct 2023 23:53:22 +0200, Lucas Nussbaum wrote: > > > > My build chroot is still unmerged. I think it's the same on the buildd. > > > I don't think the latter is still the case but I don't have the > > > capacity to keep all usr-merge details in my head. > > The buildds are already usr-merged. > > Thanks for the confirmation of my "impression".
OK, I missed that it was fixed on the buildd, and this is the first bug where is it actually an issue. I'll change my setup, and perform another rebuild immediately, so we can easily catch regressions the other way around (builds that succeed on un-merged but fail on merged). Lucas
