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. Mark --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org
