On Sat, Apr 20, 2024 at 01:56:48PM +1200, David Rowley wrote:> Thanks for the review. I've now pushed this, backpatching to 12.
You've split that into two separate paragraphs with 2d3389c28c5c.Thanks for the commit.--Michael