Subject: Re: bug#24254: issue with configure script in git

From: Paul Eggert <[email-masked]>
Date: Sun, 20 Nov 2016 00:35:43 -0800

No further comment and it has been a while, so closing the bug report.