Hi,

On jeu., 01 sept. 2022 at 10:41, "Thompson, David" <[email protected]> 
wrote:

> Thanks, pushed as commit c053dfa52dc778eb3d965f58a85c435ae7fab0dd.

Cool!  Thank you.


Cheers,
simon



Reply via email to