On Fri, Apr 19, 2024 at 04:14:00PM +0200, Tomas Vondra wrote:> FWIW I've pushed both patches, which resolves the open item, so I've> moved it to the "resolved" part on wiki.
Thanks, Tomas!--Michael