30 Nov
2012
30 Nov
'12
3:45 p.m.
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....