We reported a repeatable query based crash bug in @postgresql 10 with dumps and stack traces, and it was fixed within 2 days. Open source works!