On Fri, Jul 12, 2019 at 03:54:01PM +1200, David Rowley wrote:
> That's really up to you. I'd at least wait for the patch to be
> committed though. From then, if you're comfortable patching and
> building yourself then you could get the fix sooner. Otherwise, there
> should be a release around the end of September.
The next minor version release is planned for the beginning of
August per the roadmap:
https://www.postgresql.org/developer/roadmap/
So assuming that this gets merged by then, the fix will be released in
a couple of weeks.
--
Michael