Update Zed to 0.13.0
Merge pull request #5970 from flexik/master

Update Zed to 0.13.0