Thanks for the bug report, I will fix it.
News on this bug (comment 10): https://bugs.freedesktop.org/show_bug.cgi?id=23684
Thanks for the bug report, I will fix it.
News on this bug (comment 10): /bugs.freedeskt op.org/ show_bug. cgi?id= 23684
https:/