<html dir="ltr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" id="owaParaStyle">P {margin-top:0;margin-bottom:0;}</style>
</head>
<body fpstyle="1" ocsi="0">
<div style="direction: ltr;font-family: Tahoma;color: #000000;font-size: 10pt;"><br>
<div style="font-family: Times New Roman; color: #000000; font-size: 16px">
<div id="divRpF92365" style="direction: ltr;"><font size="2" face="Tahoma" color="#000000"></font><br>
</div>
<div></div>
<div>
<div dir="ltr">&gt; A neater fix might be to drop the documentation change from the patch we're applying, as it's unlikely that people will be reading the autoconf documentation.
<div><br>
</div>
</div>
Yes, I agree. That was my first thought, too. The less patches the better.&nbsp; I'll send a v2 of the patch to the ML and gauge the reaction.<br>
</div>
</div>
</div>
</body>
</html>