On 2017-02-05 14:43, Eli Zaretskii wrote:
>> Cc: 25592@debbugs.gnu.org
>> From: Clément Pit--Claudel <clement.pitclaudel@live.com>
>> Date: Sun, 5 Feb 2017 14:10:40 -0500
>>
>>> What will happen if you have 2 overlays like this:
>>>
>>>                +------------- OV2 -------+
>>>    xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
>>>    +------- OV1 ---------+
>>>
>>> and OV2 has a higher priority than OV1?
>>
>> The two overlays get sorted as (OV1 OV2).
> 
> But OV2 has a higher priority, so it should be the first in the sorted
> order, no?

I process them in order of increasing priority, so OV1 gets processed first.