Subject: Re: bug#37143: Emacs FAQ: Change "WAIS, WWW" format to "HTML, PDF"

From: Stefan Kangas <[email-masked]>
Date: Fri, 13 Sep 2019 20:31:14 +0200

tags 37143 fixed
close 37143 27.1
quit

Stefan Kangas <[email-masked]> writes:

> Does anyone object to the attached patch?

Since no one has objected, I have now committed this patch to master
as 9ad3f5d1d2.

Best regards,
Stefan Kangas