On 08/03/2019 20:58, Igal Sapir 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.
That is standard GitHub behaviour. The name is set to the name of whichever user made the change that you are being notified of. Mark --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org
