At 2024-03-25T19:28:56+0100, Alexis wrote:
> On Sun, Mar 24, 2024 at 10:58:54PM -0500, G. Branden Robinson wrote:
> > I've pushed this. Thank you!
>
> That's great news! Thank you Branden, much appreciated.
>
> Minor nit: Looking at the commit¹ details it seems the commit is
> credited to anothe
On Sun, Mar 24, 2024 at 10:58:54PM -0500, G. Branden Robinson wrote:
> I've pushed this. Thank you!
That's great news! Thank you Branden, much appreciated.
Minor nit: Looking at the commit¹ details it seems the commit is
credited to another person bearing the same, somewhat uncommon name,
but a
