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

[Lars Ingebrigtsen]

João Távora <joaotavora@gmail.com> 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