Strangely enough I don't get this crash when I switched to 64bit Ubuntu 10.04. The pull worked just fine. So this might be an 32bit issue only.
Strangely enough I don't get this crash when I switched to 64bit Ubuntu 10.04.
The pull worked just fine. So this might be an 32bit issue only.