Merged but not move to approval phase. Needs final editorial review. https://github.com/graphql/graphql-spec/pull/525