Would anybody object to me pushing part 0001 soon? It seems pointless to force Dmitry keep rebasing a huge renaming patch all this time. I think the general feeling is that this is a desirable change, so let's keep things moving.
That having been said ... while the current 0001 patch does apply semi-cleanly (`git apply -3` does it), it does not compile, probably because of header refactoring. Please rebase and make sure that each individual patch compiles cleanly. -- Álvaro Herrera https://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services
