On Wed Jun 4, 2025 at 11:36 AM -03, Andrea Cervesato wrote: > All patches look good to me. we should be able to merge them. > > @Petr WDYT? Cool, thanks for reviewing! :)