Closed
Description
his repository has the same issue when publishing next than theia-trace-extenstion (see also eclipse-cdt-cloud/theia-trace-extension#842).
{{ message }}
No one assigned
No type
No projects
No milestone
None yet
No branches or pull requests