Update to 3.8, fixing git pull.