Also, please make sure your patch is registered inhttps://commitfest.postgresql.org/7/ so that we don't forget.
-- Álvaro Herrera http://www.2ndQuadrant.com/PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services