Comment 100 for bug 123920

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

Thanks.

I don't know for sure what package fixed this, or how many years ago it really got fixed, but at least the bug is now closed.