On Wed, Oct 19, 2022 at 09:42:55PM -0500, David Vernet wrote:
On Wed, Oct 19, 2022 at 04:20:22PM -0700, Kevin J. McCarthy wrote:
That's fine, or I'll be happy to touch it up myself after this is resolved.
Whatever will cause less churn / work for you is fine with me. I
wouldn't mind throwing
On Thu, Oct 20, 2022 at 09:57:56AM -0700, Kevin J. McCarthy wrote:
> On Wed, Oct 19, 2022 at 09:42:55PM -0500, David Vernet wrote:
> > On Wed, Oct 19, 2022 at 04:20:22PM -0700, Kevin J. McCarthy wrote:
> > > That's fine, or I'll be happy to touch it up myself after this is
> > > resolved.
> >
> >
