Closed domenic closed 1 year ago
This ensures we pull in the changes in https://github.com/whatwg/wattsi/pull/152.
This should be merged after https://github.com/whatwg/wattsi/pull/152 is merged and we double-check that the Wattsi version is indeed 137.
We may need to force-merge this despite CI depending on how the html pull request goes, due to a circular dependency. We can then re-run CI after everything has settled across all three repos.
This ensures we pull in the changes in https://github.com/whatwg/wattsi/pull/152.
This should be merged after https://github.com/whatwg/wattsi/pull/152 is merged and we double-check that the Wattsi version is indeed 137.
We may need to force-merge this despite CI depending on how the html pull request goes, due to a circular dependency. We can then re-run CI after everything has settled across all three repos.