Re: [tomcat] branch master updated: Fix build

2019-05-15 Thread Rémy Maucherat
On Wed, May 15, 2019 at 2:25 PM Mark Thomas wrote: > On 15/05/2019 12:56, r...@apache.org wrote: > > This is an automated email from the ASF dual-hosted git repository. > > > > remm pushed a commit to branch master > > in repository https://gitbox.apache.org/repos/asf/tomcat.git > > > > > > The f

Re: [tomcat] branch master updated: Fix build

2019-05-15 Thread Mark Thomas
On 15/05/2019 12:56, r...@apache.org wrote: > This is an automated email from the ASF dual-hosted git repository. > > remm pushed a commit to branch master > in repository https://gitbox.apache.org/repos/asf/tomcat.git > > > The following commit(s) were added to refs/heads/master by this push: >