Pavel Stehule <pavel(dot)stehule(at)gmail(dot)com> writes:> I'll mark this patch as ready for commit
Pushed, thanks for looking.
regards, tom lane