Subject: Re: bug#41031: Add facemenu-set-strong and facemenu-set-emphasis

From: Stefan Kangas <[email-masked]>
Date: Tue, 5 May 2020 21:32:40 -0400

close 41031 28.1
thanks

積丹尼 Dan Jacobson <[email-masked]> writes:

>>>>>> "SK" == Stefan Kangas <[email-masked]> writes:
> SK> Could you please test the attached patch...
>
> Erg... I'm sure it works great!

Pushed to master as commit 58c234aa8c.

Best regards,
Stefan Kangas