[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries
From: |
Stefan Kangas |
Subject: |
Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries |
Date: |
Thu, 13 Aug 2020 07:51:40 -0700 |
Eli Zaretskii <eliz@gnu.org> writes:
> Sorry for not being more clear. I meant deleting
> font-lock-support-mode: it must be declared obsolete first (which
> would require adding the command proposed by Stefan), then, after some
> obsolescence time, we could delete font-lock-support-mode, and then we
> can delete fast-lock and fuzzy-lock.
Ah, okay. So if I understand correctly we should not pull the trigger
on deleting the libraries fast-lock and fuzzy-lock until we have first
obsoleted and, at a later date, deleted font-lock-support-mode.
Best regards,
Stefan Kangas
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, (continued)
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Stefan Monnier, 2020/08/10
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Eli Zaretskii, 2020/08/11
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Stefan Kangas, 2020/08/12
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Eli Zaretskii, 2020/08/12
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Stefan Kangas, 2020/08/12
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Eli Zaretskii, 2020/08/12
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Stefan Kangas, 2020/08/12
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Eli Zaretskii, 2020/08/13
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Stefan Monnier, 2020/08/13
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Stefan Kangas, 2020/08/13
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries,
Stefan Kangas <=
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Jeff Norden, 2020/08/13
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Eli Zaretskii, 2020/08/14
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Stefan Monnier, 2020/08/14
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Alan Mackenzie, 2020/08/10
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Stefan Monnier, 2020/08/10
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Alan Mackenzie, 2020/08/10
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Stefan Monnier, 2020/08/10
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Alan Mackenzie, 2020/08/12
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Richard Stallman, 2020/08/10
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Jeff Norden, 2020/08/11