Oh wait, unless that action was made by Mark. I saw a few messages in a row and misunderstood.
Please ignore the previous email. On Fri, Mar 8, 2019 at 12:58 PM Igal Sapir <isa...@apache.org> wrote: > I got some GitHub notifications and they have the following header: > > From: Mark Thomas <notificati...@github.com> > > If someone with permissions can change that please. > > Best, > > Igal > >
