[clide/f12/master] (9 commits) ...Merge branch 'f13' into f12

[richardfearn]

Summary of changes:

  150e12e... Initialize branch F-13 for clide (*)
  2b072bc... import 0.9-1 (*)
  6d9b945... update to 0.9-2 (*)
  b9021f0... update to 0.9-3 (*)
  4d8f6e4... import 0.9-3 (*)
  a41c925... dist-git conversion (*)
  b1d91b8... dist-git conversion (*)
  0b15c98... Merge branch 'master' into f13 (*)
  1b54fc2... Merge branch 'f13' into f12

(*) This commit already existed in another branch; no separate mail sent