On Tue, Jan 9, 2024 at 6:20 PM Paul E. McKenney <paulmck@xxxxxxxxxx> wrote: > > Thank you! > > But no joy, please see below. I reproduced the issue and just sent the patch that fixes it for me. Please let me know if the patch doesn't work for you. Thank you for the report!