Closed bhufmann closed 1 year ago
his repository has the same issue when publishing next than theia-trace-extenstion (see also https://github.com/eclipse-cdt-cloud/theia-trace-extension/issues/842).
his repository has the same issue when publishing next than theia-trace-extenstion (see also https://github.com/eclipse-cdt-cloud/theia-trace-extension/issues/842).