Subject: bug#14312: Spurious bug report, ignore

From: Stefano Lattarini <[email-masked]>
Date: Mon, 29 Apr 2013 23:17:39 +0200

Oops, erroneously created while dealing with bug#12254.  Please ignore,
and sorry for the noise,

  Stefano