27 Apr
2023
27 Apr
'23
1:30 p.m.
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