[clide/f14] (8 commits) ...Merge branch 'f13' into f12

[richardfearn]

Summary of changes:

  150e12e... Initialize branch F-13 for clide (*)
  0122874... Initialize branch F-12 for clide (*)
  4d8f6e4... import 0.9-3 (*)
  824bdc4... import 0.9-3 (*)
  a41c925... dist-git conversion (*)
  5db5431... 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