v10 is just a trivial rebase. No changes. Moved to next commitfest.
-- Álvaro Herrera PostgreSQL Developer — https://www.EnterpriseDB.com/