Subject: Re: bug#10083: Acknowledgement ([PATCH] * lib/install-sh: Spelling fix in comment.)
From: Paul Eggert <[email-masked]>
To: [email-masked]
Date: Sun, 20 Nov 2011 00:35:43 -0800
List-Id: <debbugs-submit.debbugs.gnu.org>

I pushed this as trivial (thanks to Jim), and am closing it.