<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Apr 27, 2021 at 8:01 AM Melanie Blower via Phabricator <<a href="mailto:reviews@reviews.llvm.org">reviews@reviews.llvm.org</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">mibintc abandoned this revision.<br>
mibintc added a comment.<br>
<br>
There was no resolution about what option name would be acceptable<br></blockquote><div><br></div><div>Oh no, I'm sorry that you felt that way.  I saw Vitaly's comment about exclusion and mine and we were waiting to see if that was ok with you. You'd said something about allow/disallow, but it had stopped. I'm happy either way though I do have a preference for exclude to disallow.</div><div><br></div><div>Thanks!</div><div><br></div><div>-eric</div></div></div>