On 2017-05-02 15:06, Andreas Schwab wrote:
> On Mai 02 2017, Eli Zaretskii <eliz@gnu.org> wrote:
> 
>> Also, what happens if you replace 8804 in your test file with 10877?
>
> Interestingly, this is also shows the effect, even though both
> characters are taken from the same font (not the default font).

Really? On my machine I get DejaVu sans for one, and DejaVu Sans Mono for the other (and the effect is indeed observable, but that's consistent with the "multiple fonts" hypothesis)