Closed danielpeintner closed 1 year ago
see https://github.com/w3c/wot-scripting-api/pull/513/files
I will merge right away since it is just about TypeScript and no real change..
see https://github.com/w3c/wot-scripting-api/pull/513/files