Bug#1031943: Should we do something?

[Thomas Goirand]

Hi,

It's been a month since the last entry in this bug, with nobody able to 
reproduce the bug, and no answer from original submitter. Shall we:
- close the bug?
- lower severity?
- apply the patch?
Cheers,

Thomas Goirand (zigo)