Summary of changes: 2b072bc... import 0.9-1 (*) 6d9b945... update to 0.9-2 (*) b9021f0... update to 0.9-3 (*) b1d91b8... dist-git conversion (*) 0b15c98... Merge branch 'master' into f13 (*) This commit already existed in another branch; no separate mail sent