Subject: Re: bug#13125: Fix permissions bugs with setgid directories etc.

From: Paul Eggert <[email-masked]>
Date: Fri, 14 Dec 2012 11:00:09 -0800

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