Am Sun, 10 Feb 2013 20:18:27 +0100 schrieb Marco Leise <Marco.Leise at gmx.de>: > Alright then, I'll ask them to add *.di and we are set. https://bugs.freedesktop.org/show_bug.cgi?id=60605 -- Marco