Subject: close bug report

From: Stefano Lattarini <[email-masked]>
Date: Sat, 14 Jul 2012 10:45:09 +0200

severity 11803 minor
close 11803
thanks

Oops, I forgot to close this bug when we fixed it.  Closing it now.

Stefano