Seems to make sense. Merging as editorial. -- GitHub Notification of comment by alvestrand Please view or discuss this issue at https://github.com/w3c/mst-content-hint/pull/34#issuecomment-569809325 using your GitHub accountReceived on Monday, 30 December 2019 22:02:35 UTC
This archive was generated by hypermail 2.4.0 : Saturday, 6 May 2023 21:19:49 UTC