Summary of changes: 59b6530... 3.1.2 (*) e08b2a4... try again (*) 74f0e15... fix file list (*) 5634618... Update to 3.1.3 (*) This commit already existed in another branch; no separate mail sent