Re: Fwd: Flymake and the 'face' property (was: master cd06d17: Fix bug with face-id after restoring from pdump)

[João Távora]

On Tue, Jan 29, 2019 at 7:21 PM Eli Zaretskii <address@hidden> wrote:
>
> > From: João Távora <address@hidden>
> > Date: Tue, 29 Jan 2019 18:47:19 +0000
> > Cc: Eli Zaretskii <address@hidden>, emacs-devel <address@hidden>
> >
> > this should be some obsolete leftover
>
> It isn't.  It is used in face-id, which is used in display tables.

We are miscommunicating again.  I meant obsolete in flymake.el,
not the conflicting package.  Thus all I would have to do is
remove it from flymake.

Except it isn't obsolete, unfortunately. More on that soon.

João



-- 
João Távora