<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On 6 January 2017 at 09:46, Sanjeev <span dir="ltr">&lt;<a href="mailto:ghane0@gmail.com" target="_blank">ghane0@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":ria" class="a3s aXjCH m159743f2ade216dc">-  &lt;<a href="http://pubs.opengroup.org/onlinepubs/9699919799/" rel="noreferrer" target="_blank">http://pubs.opengroup.org/<wbr>onlinepubs/9699919799/</a>&gt;</div></blockquote></div><br>Was the removal of this URL, which appears to still be functional and current, deliberate?<br><br clear="all"><div><div class="gmail_signature" data-smartmail="gmail_signature">--<br>Tim Parenti<br></div></div>
</div></div>