Summary of changes: 1d0e62a... update to new snapshot git20140713.d79c1202f857 obsoleted p (*) b45ed7b... update to new snapshot git20140713.066356f40633 (*) (*) This commit already existed in another branch; no separate mail sent