Subject: patch installed
From: Paul Eggert <[email-masked]>
To: [email-masked]
Date: Sun, 04 Nov 2012 09:19:07 -0800
List-Id: <debbugs-submit.debbugs.gnu.org>

I installed the patch for this into the Emacs trunk as bzr 110786
and am marking it as done.