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