Subject: patch installed

From: Paul Eggert <[email-masked]>
Date: Thu, 22 Nov 2012 23:33:59 -0800

This patch has been installed into the trunk (bzr 110930)
so I'm marking it as done.