Re: [PATCH v2] Do not install shell libraries executable

Jonathan Nieder [off-list ref] writes:

I wrote that patch late at night, and unfortunately, I cannot justify it
to myself now.  With Jeff’s change applied, there is no obvious breakage
that it fixes.  If a problem comes up again, I will let you know.

Thanks for a thorough write-up.  Really appreciated.