Hi,
On 2018-04-13 15:08:30 -0300, Alvaro Herrera wrote:
> I think this is a good improvement. On top of that, I propose a new
> file partitioning/partdefs.h with the following approximate contents.
> This reduces cross-inclusion of headers to the minimum. I'm dealing
> with the fallout from this now, will post a complete patch shortly.
It'd be good to adjust the thread topic - this surely isn't about the
crash anymore. And it's good, especially given we're past the feature
freeze etc, if the subject conveyed what's happening?
- Andres