Subject: Re: bug#24510: 25.1; Info: searching for ` does not find what looks like `

From: Eli Zaretskii <[email-masked]>
Date: Sat, 24 Sep 2016 22:16:18 +0300

> Cc: [email-masked]
> From: Clément Pit--Claudel <[email-masked]>
> Date: Sat, 24 Sep 2016 14:40:54 -0400
> 
> In that case, maybe we should just change the default font of the Info reader.

On MS-Windows only?  Doesn't sound like important enough to me.