Summary of changes: 416b095... Revert "Merge branch 'f18'" (*) 7306765... Revert "Revert "Update to 0.7.90"" (*) 232cb4a... Revert "Revert "Update declaration patch"" (*) 90034c6... Update to 0.8.0 (*) (*) This commit already existed in another branch; no separate mail sent