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 -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20160414/8eb216c6/attachment.html>