11:03:12 RRSAgent has joined #wot-script 11:03:16 logging to https://www.w3.org/2023/10/23-wot-script-irc 11:03:39 meeting: WoT Scripting API 11:03:41 dape has joined #wot-script 11:05:43 present+ Kaz_Ashimura, Daniel_Peintner 11:05:51 Mizushima has joined #wot-script 11:07:00 present+ Tomoaki_Mizushima 11:11:55 topic: Publication feedback 11:13:14 kaz: generated several minor PRs before publication 11:14:07 510, 509, 508 ,505, 504, 503 11:14:36 dp: will look into them to see which from them to be applied to the main index.html 11:15:22 i|will|-> https://github.com/w3c/wot-scripting-api/pull/510 PR 510 - pubdate 2023-10-03 again| 11:16:04 s/before publication/before the previous publication, but just some of them should be applied to the main index.html| 11:16:11 s/html|/html/ 11:16:32 i|will|-> https://github.com/w3c/wot-scripting-api/pull/509 PR 509 - Pubdate 20231003| 11:17:00 i|will|-> https://github.com/w3c/wot-scripting-api/pull/508 PR 508 - pubdate 2023-10-02| 11:17:36 i|will|-> https://github.com/w3c/wot-scripting-api/pull/505 PR 505 - pubdate 2023-09-30| 11:18:32 i|will|-> https://github.com/w3c/wot-scripting-api/pull/504 PR 504 - add Makefile to show how to use fix-id.pl| 11:18:57 i|will|-> https://github.com/w3c/wot-scripting-api/pull/503 PR 503 - add a postprocess script| 11:37:01 (Kaz has remembered there were some more PRs: 496, 495, 494, 493, 492, 491 and 490. Among them 495 and 494 are important.) 11:37:06 [adjourned] 11:37:12 rrsagent, make log public 11:37:18 rrsagent, draft minutes 11:37:19 I have made the request to generate https://www.w3.org/2023/10/23-wot-script-minutes.html kaz 12:57:11 mahda-noura has joined #wot-script 13:20:01 Zakim has left #wot-script