I am sorry, I should have looked more carefully for the bug tracker. I have now filed the bug at the following location: https://bugs.freedesktop.org/show_bug.cgi?id=89049