<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Aug 23, 2013 at 3:03 PM, John Thompson <span dir="ltr"><<a href="mailto:john.thompson.jtsoftware@gmail.com" target="_blank">john.thompson.jtsoftware@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr"><div>Sean,</div><div> </div><div>Thanks for the feedback.</div>
<div> </div><div>Regarding the usefulness of the feature in general, my opinion is that modules don't care if headers within the module have dependencies on other headers within the module. </div></div></blockquote><div>
<div><br></div><div>These must be internal (i.e. not user-visible) headers that are not meant to be included on their own, so I'm not sure it even makes sense to check them on their own. What do you think?</div><div> </div>
</div><div>-- Sean Silva</div></div></div></div>