On top of my mind: - We would like to resolve as many as possible of the "Resolve before CR" labeled issues at the September VI, and would therefore ideally want proposed resolutions out a week before. Taylor has (too?) many of them at his plate, can/should we shift some of them? - Push new drafts? - Are the tools/respec working now? And of course it would be good to merge as many PRs as possible. StefanReceived on Thursday, 17 August 2017 12:16:09 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:19:06 UTC