Mark Murawski <markm-lists(at)intellasoft(dot)net> writes:
> No rush on the bug fix, just making sure you don't need anything else
> from me on the reproduction.
Nope, it's dealt with, see
https://git.postgresql.org/gitweb/?p=postgresql.git&a=commitdiff&h=638300fef
regards, tom lane