Subject: patch committed

From: Paul Eggert <[email-masked]>
Date: Tue, 06 Sep 2011 11:19:56 -0700

I committed the patch for this as bzr 105666
(with a later auto-commit of generated files as bzr 105667)
and am marking it as done.