Summary of changes: 07d9ccf... Update to 3.7.1 (*) df3d163... git .ignore (*) 1feb608... Update .gitignore (*) (*) This commit already existed in another branch; no separate mail sent