On 2018-01-15, Gintautas Grigelionis wrote: > Regarding Ant site, I would be happy to update the pages, but I'm not > sure what the process is. By the looks of it, any committer can > change the sources, regenerate the site and push it into production.
This is correct. Stefan --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org For additional commands, e-mail: dev-h...@ant.apache.org