Le Sat, 21 Jul 2018 10:14:01 +0200,
Björn Höfling <bjoern.hoefling@bjoernhoefling.de> a écrit :

> This is series of Tomcat related patches.
> 

Pushed as 9936ffe77d5f69185f68c52d44ec21c9f94600e6 -
49a8684d9f20656aaa9094c02164cbf2f67b290b

Thank you!