Hello Hilko, It seems that this bug is very old, and also that the activity upstream is low. Do you confirm the bug is still there, or do you think it can be closed or otherwise be dealt with?
Thank you, -- Gianluca Ciccarelli http://disi.unitn.it/~ciccarelli GPG key ID: 39BBDB6C
signature.asc
Description: Digital signature
