Re: [PATCH] doc/install.texi: add documentation for --disable-libsanitizer

[Gerald Pfeifer]

On Wed, 10 Sep 2014, Markus Trippelsdorf wrote:
> 2014-09-10  Markus Trippelsdorf  <mar...@trippelsdorf.de>
> 
>       * doc/install.texi (Options specification): add 
>       --disable-libsanitizer item.

Looks good to me, thanks.

Gerald