Subject: Re: [bug#32231] [PATCH 0/8] Tomcat related updates
From: Julien Lepiller <[email-masked]>
To: [email-masked]
Date: Wed, 25 Jul 2018 00:30:43 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Le Sat, 21 Jul 2018 10:14:01 +0200,
Björn Höfling <[email-masked]> a écrit :

> This is series of Tomcat related patches.
> 

Pushed as 9936ffe77d5f69185f68c52d44ec21c9f94600e6 -
49a8684d9f20656aaa9094c02164cbf2f67b290b

Thank you!