On 11/21/22 05:48, John Garry wrote:> cheers. As mentioned, I can combine these patches if people prefer.I'm in favor of combining both patches.Whether or not these patches get combined, feel free to add:Reviewed-by: Bart Van Assche <bvanassche@acm.org>