* Mike Gabriel <[email protected]>, 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
