On Thu, Apr 27, 2023 at 03:23:29PM +0200, Michal Prívozník wrote: > On 4/27/23 15:12, Andrea Bolognani wrote: > > Do you think it's okay for me to push this now, so that it gets > > included in 9.3.0, or should I rather wait until after the release? > > It's a bug fix and as such can and in fact should be merged. Excellent, thanks for confirming! Pushed now :) -- Andrea Bolognani / Red Hat / Virtualization
