On 22/12/2023 01:37, Dmitry Gutov wrote:
> On 21/12/2023 18:46, Dmitry Gutov wrote:
>> See instead the patch attached to this bug report.
> 
> Here's an update, incorporating the feedback from here and there.

Fixed a typo in dir-locals and implemented better support for 
etags-regen-ignores (though with one omission).

To me it looks good to check in now.