Subject: installed patch into trunk
From: Paul Eggert <[email-masked]>
To: [email-masked]
Date: Sat, 03 Nov 2012 11:34:25 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

I installed the patch into the trunk as bzr 110784
and am marking this as done.