Summary of changes: 0122874... Initialize branch F-12 for clide (*) 824bdc4... import 0.9-3 (*) 5db5431... dist-git conversion (*) 1b54fc2... Merge branch 'f13' into f12 (*) (*) This commit already existed in another branch; no separate mail sent