Closed tortmayr closed 3 years ago
After the last release the dependency to "sprotty" was not set back to "next. As discussed here we should always do that so that unreleased sprotty changes can be tested.
gitpod-io[bot]
commented
3 years ago 
After the last release the dependency to "sprotty" was not set back to "next. As discussed here we should always do that so that unreleased sprotty changes can be tested.