* Mike Gabriel <mike.gabr...@das-netzwerkteam.de>, 2016-01-02, 14:15:
Will you merge this bug into #801182? I think it is a duplicate and requires more info from my side. (Or shall I do the merge?)
Unless I missed something, there wasn't any new information in this bug (#809651), so I'd rather close it.
-- Jakub Wilk
