[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master b82adee: Invalidate dir-locals-directory-cache when writing d
From: |
Eli Zaretskii |
Subject: |
Re: master b82adee: Invalidate dir-locals-directory-cache when writing dir-local file |
Date: |
Mon, 19 Aug 2019 20:25:57 +0300 |
> Date: Mon, 19 Aug 2019 18:45:04 +0200
> Cc: address@hidden, address@hidden,
> Stefan Monnier <address@hidden>, address@hidden
> From: Ergus via "Emacs development discussions." <address@hidden>
>
> This can be fixed with a rebase or a note.
Savannah disallows such rebases, and rightfully so. In extreme
situations (and this is not one of them) we can ask the Savannah
admins to do that manually.
- Re: master b82adee: Invalidate dir-locals-directory-cache when writing dir-local file, Lars Ingebrigtsen, 2019/08/18
- Re: master b82adee: Invalidate dir-locals-directory-cache when writing dir-local file, Eli Zaretskii, 2019/08/18
- Re: master b82adee: Invalidate dir-locals-directory-cache when writing dir-local file, Stefan Monnier, 2019/08/19
- Re: master b82adee: Invalidate dir-locals-directory-cache when writing dir-local file, Štěpán Němec, 2019/08/19
- Re: master b82adee: Invalidate dir-locals-directory-cache when writing dir-local file, Noam Postavsky, 2019/08/19
- Re: master b82adee: Invalidate dir-locals-directory-cache when writing dir-local file, Štěpán Němec, 2019/08/20
- Re: master b82adee: Invalidate dir-locals-directory-cache when writing dir-local file, Eli Zaretskii, 2019/08/19
- Re: master b82adee: Invalidate dir-locals-directory-cache when writing dir-local file, Ergus, 2019/08/19
- Re: master b82adee: Invalidate dir-locals-directory-cache when writing dir-local file,
Eli Zaretskii <=