8 Jun
2012
8 Jun
'12
10:15 p.m.
Darrell,
I think your push is still trickling into the servers. I pulled 804 deltas a couple of hours ago assuming that was the complete patch set, but I just checked again and there is another 38 deltas in this pull. I don't know how long a patch set takes to find its final place of rest, but I guess I'll give it another pull in the morning to make sure.
--
David C. Rankin, J.D.,P.E.