Subject: Re: bug#12411: 24.2.50; No `make help' target?

From: Stefan Kangas <[email-masked]>
Date: Thu, 29 Aug 2019 12:01:03 +0200

close 12411 27.1
quit

Eli Zaretskii <[email-masked]> writes:

> > Thanks for reviewing.  Please find attached a revised patch,
> > incorporating your changes and also announcing this feature in NEWS
> > for bigger visibility.
>
> LGTM, thanks.

Thanks.  Now pushed as commit 9df285250b.

Best regards,
Stefan Kangas