Subject: Spurious bug report, opened by mistake

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

tags 14315 notabug
close 14315
stop

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

  Stefano