On Sat, Apr 10, 2021 at 01:55:50AM +0200, Vladislav Shpilevoy wrote: > > The same question as in the previous commit. Do we really need this > loop now? Yeah, thanks for noticing. Dropped and force pushed.