Subject: bugs 10281 and 10282 are duplicates

From: Paul Eggert <[email-masked]>
Date: Mon, 12 Dec 2011 16:24:43 -0800

forcemerge 10282 10281
thanks

Somehow bug#10282 was delayed, and my reply to it started bug#10281.
I'm merging the two now.