On Fri, May 30, 2025 at 11:09:23PM +1200, David Rowley wrote:> Now done.
Cool, thanks. Just did the same for the query ID, closing the openitem.--Michael