On Mon, Feb 04, 2019 at 02:21:59PM +0100, Roberto Sassu wrote:> I can include your fix in patch 4/6, if you prefer.It is not really a question of my preference because the changes in4/6 are not part of the bug fix./Jarkko