On 03/09/13 13:16, bugzi...@apache.org wrote:
https://issues.apache.org/bugzilla/show_bug.cgi?id=55517
Mark Thomas <ma...@apache.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution|--- |FIXED
--- Comment #3 from Mark Thomas <ma...@apache.org> ---
Fixed. Thanks for the update. It will be in 8.0.0-RC2 onwards.
For future reference, just the patch in diff -u format is fine
You were just too quick for me! I posted the entire project.xml by
mistake, before I realised it was not the patch file I had already
created. I obsoleted the full copy with the diff - which I suppose you
missed.
Then you missed the second diff attachment for the properties file!
That was an amazing race condition for a trivial change. Sorry for any
inconvenience.
Brian
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org
For additional commands, e-mail: dev-h...@tomcat.apache.org
