On Thu, Nov 08, 2018 at 02:03:33PM +0000, Fabrizio Castro wrote:> Joerg, does this patch look ok to you?Applied both patches, thanks Fabrizio.