STL (original) (raw)

Excellent, thank you! (I've edited out the issue number from the PR title, as that doesn't set up any link between the PR and the issue, and leads to a slightly confusing commit history if merged as-is.)

We merge PRs simultaneously to GitHub and our MSVC-internal repo in a semi-manual process, batched up to save time. Your PR will be part of the next batch this week. I'll post comments as I prepare your PR for merging!