[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#2807: Subject: 23.0.90; etags can't access .el.gz files
|
From: |
Stefan Monnier |
|
Subject: |
bug#2807: Subject: 23.0.90; etags can't access .el.gz files |
|
Date: |
Sun, 15 Oct 2023 00:12:46 -0400 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) |
> That's good to know, thank you. And I agree that the feature would be
> good to have, but I hope that in the meantime we can go with the updated
> patch.
Yes, of course, I pushed it to `master`, thanks.
Still hoping for Someone™ to try and move that code to jka-compr :-)
Stefan