Hi Deri,
At 2022-11-16T22:41:34+, Deri wrote:
> This is covered by my comments on 22/40. I'm sorry you have gone to
> such a lot of work when a minor change to devps.am would have achieved
> what you wanted.
I have no regrets if I get better orthogonality for my efforts. :D
You can guess wh
On Saturday, 12 November 2022 20:19:04 GMT Deri wrote:
> On Saturday, 12 November 2022 19:43:38 GMT G. Branden Robinson wrote:
> > gbranden pushed a commit to branch master
> > in repository groff.
> >
> > commit 83004cbf0c8e30bd700f9ef246629ab77de96a7c
> > Author: G. Branden Robinson
> > AuthorD
On Saturday, 12 November 2022 19:43:38 GMT G. Branden Robinson wrote:
> gbranden pushed a commit to branch master
> in repository groff.
>
> commit 83004cbf0c8e30bd700f9ef246629ab77de96a7c
> Author: G. Branden Robinson
> AuthorDate: Fri Nov 11 15:34:56 2022 -0600
>
> [build]: Refactor handli
