[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: c-font-lock-extra-types and friends
From: |
Alan Mackenzie |
Subject: |
Re: c-font-lock-extra-types and friends |
Date: |
Mon, 13 Mar 2023 18:04:33 +0000 |
Hello, Eli.
On Mon, Mar 13, 2023 at 19:12:59 +0200, Eli Zaretskii wrote:
> > Date: Mon, 13 Mar 2023 16:54:55 +0000
> > Cc: emacs-devel@gnu.org
> > From: Alan Mackenzie <acm@muc.de>
> > Hello, Eli.
> > On Sun, Mar 05, 2023 at 08:57:35 +0200, Eli Zaretskii wrote:
> > > Every time I visit etags.c, I need to confirm the application of the
> > > file-local vars, because c-font-lock-extra-types doesn't have the
> > > appropriate safe-local-variable-p property. Is there any reason not
> > > to consider its value safe by default if it is a list of strings?
> > I've committed a fix for this to master. Would you possibly give it a
> > quick test sometime, and confirm the job is done, please.
> Thanks, but I think you forgot to push.
Sorry. I installed git 2.39.2 yesterday evening, and think I've hit a
bug in it. When I attempted to push, I got a message saying somebody
else had pushed. So I did a git pull --rebase, and found I no longer
had any outstanding commits to push. I assumed my push had somehow got
through.
At the moment, my main git repository has no outstanding commits to
push, and seems to think my latest (non-)push is already pushed.
Hopefully I can find a workaround for this discrepancy.
Sorry again.
--
Alan Mackenzie (Nuremberg, Germany).
- c-font-lock-extra-types and friends, Eli Zaretskii, 2023/03/05
- Re: c-font-lock-extra-types and friends, Alan Mackenzie, 2023/03/06
- Re: c-font-lock-extra-types and friends, Alan Mackenzie, 2023/03/13
- Re: c-font-lock-extra-types and friends, Eli Zaretskii, 2023/03/13
- Re: c-font-lock-extra-types and friends,
Alan Mackenzie <=
- Re: c-font-lock-extra-types and friends, Alan Mackenzie, 2023/03/13
- Re: c-font-lock-extra-types and friends, Eli Zaretskii, 2023/03/14
- Re: c-font-lock-extra-types and friends, Eli Zaretskii, 2023/03/14
- Re: c-font-lock-extra-types and friends, Eli Zaretskii, 2023/03/18
- Re: c-font-lock-extra-types and friends, Alan Mackenzie, 2023/03/18
- Re: c-font-lock-extra-types and friends, Eli Zaretskii, 2023/03/18