On Jan 16, 2023, at 16:26, David Zelinsky <dzp...@dedekind.net> wrote:
> Or try to make a merge request?

Welcome.  This is the way.
— 
Dan


Reply via email to