Comment 5 for bug 38150

Revision history for this message
Pete Ryland (pdr) wrote :

Yes, it was reported a while ago. OK, I don't think many people will still have that package installed these days, so I'm happy to see this closed. Thanks.