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 in 4/6 are not part of the bug fix. /Jarkko
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 in 4/6 are not part of the bug fix. /Jarkko