Summary of changes: fc6f7f9... Initialize branch F-13 for python-TraitsGUI (*) 69ca985... dist-git conversion (*) 00e958a... New upstream release 7e38e5f... Initial pseudo merge for dist-git setup (*) This commit already existed in another branch; no separate mail sent