9 Jun
2012
9 Jun
'12
5:15 a.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.