this bug still shows as open, albeit fixed in 1.9.13-1. Would it be appropriate to close it?
Thank you! Gabriele :-) -- http://poisson.phc.unipi.it/~stilli/ ICQ UIN: 159169930 [HT] Lothlorien F.C. (51042, V.192) #156 Club dei Mille Meglio essere ottimisti e avere torto, che pessimisti e avere ragione [Albert Einstein]
signature.asc
Description: Digital signature
