Bug#908131: forcibly merging 908087 908131

[Salvatore Bonaccorso]

Hi Thorsten,

On Fri, Sep 07, 2018 at 04:44:54PM +0200, Thorsten Glaser wrote:
> Hi Salvatore,
> 
> > forcemerge 908087 908131
> 
> I don’t think these are the same bug.

Ah right, so let's unmerge thos again. Sorry for the wrong merge then.

Salvatore