Nice! On Wed, Jun 12, 2019 at 8:50 AM Enrico Olivelli <eolive...@gmail.com> wrote:
> Hi all, > I have disabled the ant based precommit job for pull requests targeting > 'master' branch. > > A note for committers: most of pending pull requests ran the ant job. You > can ignore it > > I will update the wiki > > Enrico >