On 2016-10-27 11:55, Eli Zaretskii wrote:
> Did you try the recipe described in
> 
>   https://debbugs.gnu.org/cgi/bugreport.cgi?bug=17125#26
> 
> ?  I tried, but couldn't see any errors, but I don't have a 7x13 font
> on my system, so maybe the problem doesn't get trigger.
> 
> That's the only reason the other part of the patch was introduced, and
> if it's no longer pertinent, we could go back.

I tried it, and I can't reproduce the error either.