Subject: installed the patch
From: Paul Eggert <[email-masked]>
To: [email-masked]
Date: Thu, 13 Sep 2012 00:13:05 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

I installed this patch in trunk bzr 110004
and am marking it as done.