[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#26490: 25.1; package-buffer-info is incorrectly case-insensitive
From: |
Stefan Kangas |
Subject: |
bug#26490: 25.1; package-buffer-info is incorrectly case-insensitive |
Date: |
Sat, 2 Nov 2019 01:31:09 +0100 |
Stefan Monnier <monnier@iro.umontreal.ca> 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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#26490: 25.1; package-buffer-info is incorrectly case-insensitive,
Stefan Kangas <=