[fedup/f18] (2 commits) ...possibly final 0.7.2 snapshot

[Will Woods]

Summary of changes:

  2b9cc2c... fix sources - drop unused files (*)
  d495db4... possibly final 0.7.2 snapshot (*)

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