On Tue, Oct 09, 2018 at 09:54:12AM -0300, Alvaro Herrera wrote:
> The committer of such a change will get a lot of flak for changing the
> #include requirements for code that calls that function, though.
So the patch has been switched to rejected...
--
Michael