Subject: Re: bug#26516: Typo in manual

From: Pavel Raiskup <[email-masked]>
Date: Fri, 05 May 2017 09:45:55 +0200

close 26516 2.4.6.40
thanks

On Saturday, April 15, 2017 2:16:07 PM CEST Reuben Thomas wrote:
> Talking about the win32-dll option, the manual says "If this macro is not
> used…"; I presume this should be "If this option is not used…". (At least,
> I cannot see any mention of a macro to which the reference might apply in
> that paragraph.)

Thanks for the report!  Fixed by 6ca5e224bc7bcc114.

Pavel