Subject: Re: bug#26490: 25.1; package-buffer-info is incorrectly case-insensitive

From: Stefan Kangas <[email-masked]>
Date: Sat, 2 Nov 2019 01:31:09 +0100

Stefan Monnier <[email-masked]> writes:
>
> > Ping!  Does anyone have any objections to this change, or any
> > comments?  I've attached the latest version of the patch.
>
> No objection on my side,

No other comments within 13 days, so I've now pushed the patch as
commit 6297eb0fca.  I'm consequently closing this bug.

Best regards,
Stefan Kangas