<div dir="ltr"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr" class="gmail_attr"><div dir="auto"><br></div><div dir="auto">Will the Andrew's patch be included in the git tree?</div></div></blockquote><div><span class="gmail_default" style="font-size:small">Yes.  I have been hesitant to check into GIT,  changes that are really only configuration changes because I do not know if it is bothersome for you to have to do rebuilds automatically when GIT changes when there is no actual code change.  But I will check in what I have today.</span> <br></div></div></div>