On 8/7/24 14:44, Michal Privoznik wrote: > Ping. It'd be nice to have this merged before the release. Michal