Am 19.04.2019 um 00:27 schrieb Mark Thomas:
On 18/04/2019 21:48, Rainer Jung wrote:This results in a compiler error. See below for details.Whoops. Should be fixed now. Sorry about that.
NP. Confirmed, compiles now. Thanks and regards, Rainer --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org