Subject: Re: bug#13125: Fix permissions bugs with setgid directories etc.
From: Paul Eggert <[email-masked]>
To: [email-masked]
Date: Fri, 14 Dec 2012 11:00:09 -0800
List-Id: <debbugs-submit.debbugs.gnu.org>

No further comment, so I installed the patch as trunk bzr 111233
and am marking the bug as done.