Martin Steghöfer wrote:
I'm not sure, but since those problems seem to be unrelated, I think that bug #769975 should probably be closed now. What do you think?

Looks like someone's done it already.

Cheers,
Martin


--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive: https://lists.debian.org/[email protected]

Reply via email to