Bug#815666: Duplicate of #814982

[Lorenz Hübschle-Schneider]

Yes, that certainly seems possible as I mentioned in my initial
report. However, I can exclude the possibility of it being a duplicate
of #813687 after the upgrade to mutter 3.18.3.