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