Re: [tomcat] branch master updated: Quick fix for poller issue reported on users list

2019-07-04 Thread Rémy Maucherat
On Wed, Jul 3, 2019 at 10:42 PM Mark Thomas wrote: > On 03/07/2019 20:46, ma...@apache.org wrote: > > This is an automated email from the ASF dual-hosted git repository. > > > > markt pushed a commit to branch master > > in repository https://gitbox.apache.org/repos/asf/tomcat.git > > > > > > The

Re: [tomcat] branch master updated: Quick fix for poller issue reported on users list

2019-07-03 Thread Mark Thomas
On 03/07/2019 20:46, ma...@apache.org wrote: > This is an automated email from the ASF dual-hosted git repository. > > markt 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: