Summary of changes: f21ebf8... Update to 0.13.16. (*) c74754c... Update to 0.13.17. (*) 8194979... Update to 0.13.18. (*) (*) This commit already existed in another branch; no separate mail sent