Subject: Re: [PATCH] configure: handle KCC on case-insensitive filesystems
From: Karl Berry <[email-masked]>
To: [email-masked]
Cc: [email-masked], [email-masked]
Date: Sun, 12 Dec 2021 19:08:52 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

Subject: [PATCH] configure: handle KCC on case-insensitive filesystems

Pushed with doc tweak per Jim. Thanks.