Merge pull request #310202 from GaetanLepage/zed
commit9defb411b4a6639ecff3f2f4757f88514289b6c2
authorPol Dellaiera <pol.dellaiera@protonmail.com>
Fri, 10 May 2024 21:45:16 +0000 (10 23:45 +0200)
committerGitHub <noreply@github.com>
Fri, 10 May 2024 21:45:16 +0000 (10 23:45 +0200)
tree39734c8be319c405c08ce5b19f90563044dd3c03
parent075849637086d5e68302705ae44a3d985044938f
parente78520ec6bf90ca0824cad34394616146a318f38
Merge pull request #310202 from GaetanLepage/zed

zed-editor: 0.133.7 -> 0.134.4