On 11/04/2019 16:20, Mark Thomas wrote: > On 11/04/2019 16:14, Rémy Maucherat wrote: >> On Thu, Apr 11, 2019 at 4:15 PM Mark Thomas <ma...@apache.org> wrote: >> >>> Anything else? >>> >> >> Fix the gitbox <-> github sync. > > Fair point. > > I'll see what I can do.
It should be fixed now. Mark --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org
