<div dir="ltr"><div dir="ltr"><br clear="all"><br><br><div class="gmail_quote"><div dir="ltr">On Fri, Nov 16, 2018 at 2:39 PM Randy Bush <<a href="mailto:randy@psg.com">randy@psg.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On Wed, 14 Nov 2018 10:33:40 -0800,<br>
Bill Woodcock wrote:<br><br>
% grep Woodcock rfc-index.txt<br><br></blockquote><div><br></div><div><a href="https://tools.ietf.org/html/draft-ops-operator-req-mgmt-00">https://tools.ietf.org/html/draft-ops-operator-req-mgmt-00</a>  :-)<br></div><div> <br></div></div></div></div>