On Fri, 2023-08-04 at 19:01 +0300, Roman Shaposhnik wrote:
> On Fri, Aug 4, 2023 at 3:53 PM wrote:
> >
> > On Fri, 2023-08-04 at 15:26 +0300, Roman Shaposhnik wrote:
> > > Hi!
> > >
> > > I was contemplating sending a really short email
> > > to committers@ with the $subj. Who should I talk
> >
On Fri, Aug 4, 2023 at 3:53 PM wrote:
>
> On Fri, 2023-08-04 at 15:26 +0300, Roman Shaposhnik wrote:
> > Hi!
> >
> > I was contemplating sending a really short email
> > to committers@ with the $subj. Who should I talk
> > with to get this done (or convince myself that
> > an email to a different
On Fri, 2023-08-04 at 15:26 +0300, Roman Shaposhnik wrote:
> Hi!
>
> I was contemplating sending a really short email
> to committers@ with the $subj. Who should I talk
> with to get this done (or convince myself that
> an email to a different ML is better ;-))?
It's definitely hard to know what
