Commits

Dmitri Gribenko committed 837fc588618M
Merge pull request #2947 from practicalswift/fix-rangeselection-header [gardening] Fix recently introduced header.
Merge pull request #2947 from practicalswift/fix-rangeselection-header [gardening] Fix recently introduced header.