Closed defagos closed 3 months ago
This PR applies changes recently discussed. Specifications themselves should now be stable or almost stable. This should therefore be one of the latest associated PRs.
@waliid Thanks for the review!
Description
This PR applies changes recently discussed. Specifications themselves should now be stable or almost stable. This should therefore be one of the latest associated PRs.
Changes made
Checklist