On 2019-05-10, Jaikiran Pai wrote: > Can one of us, who has admin rights in bugzilla, please do the necessary?
Done
Stefan
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org
For additional commands, e-mail: dev-h...@ant.apache.org
