Update web-ide to 20230802205337
What does this MR do and why?
Updates web-ide to the latest version. I ran yarn upgrade @gitlab/web-ide@0.0.1-dev-20230807045127
MR acceptance checklist
This checklist encourages us to confirm any changes have been analyzed to reduce risks in quality, performance, reliability, security, and maintainability.
-
I have evaluated the MR acceptance checklist for this MR.
Edited by Pavel Shutsin