Re: [PATCH] aqua: correctly change font in enhanced mode

[Ethan A M. <sf...@us...>]

On Thursday, July 5, 2018 6:18:40 PM PDT Jun T wrote:
> A revised patch is attached.

Applied for 5.2 and 5.3

	thanks

		Ethan