> The issue has been fixed in GIT, but the fix does not yet appear on the
> Patches web page.  I did not need to revert the mentioned commit, but I
> did need to alter it slightly to make Smoke happy.

Okay. I'll resync and rebuild....

Darrell