Just want to make sure the pull request is noticed. The proposal is ready for merge. Note that we can now "squash and merge" on Github.
- Anton
_______________________________________________ swift-evolution mailing list [email protected] https://lists.swift.org/mailman/listinfo/swift-evolution
