On 2017-05-22 22:58, Gunnar Hjalmarsson wrote: > Marking this as a duplicate of that other bug
Or not... :( Have filed bug #1695053.
On 2017-05-22 22:58, Gunnar Hjalmarsson wrote:
> Marking this as a duplicate of that other bug
Or not... :( Have filed bug #1695053.