[amide/f14] (3 commits) ...Merge branch 'master' into f14

[Christoph Wickert]

Summary of changes:

  d1e856a... Update to 0.9.3 (*)
  9813175... Update to 1.0.0 (*)
  63d098c... Merge branch 'master' into f14

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