Summary of changes: b12a741... Update to 1.3.45 (*) 0ee609e... add dist tag (*) 7b64593... 1.3.46 (*) e34b633... dist-git conversion (*) fe387cd... 1.3.47 (*) 1fad469... 1.3.48 (*) 8b7ead5... Merge branch 'master' into f13 (*) This commit already existed in another branch; no separate mail sent