Subject: Re: bug#39821: 27.0.60; lisp/cedet/pulse.el destroys pulsed overlay priorities

From: Lars Ingebrigtsen <[email-masked]>
Date: Fri, 21 Aug 2020 13:39:49 +0200

João Távora <[email-masked]> writes:

> The bug is easy to reproduce, just make an overlay somewhere, "pulse" it
> with pulse-momentary-highlight-overlay, and watch its previous 'priorty
> value get destroyed.  The patch attached inline fixes the issue, it
> restores the priority just like it does the face.  I'll push it as soon
> as there is approval, or in a few days if there are no objections.

Looks like this was applied, but the bug report was left open, so I'm
closing it now.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no