=?ISO-8859-1?Q?R=E9mi_Zara?= <remi_zara@mac.com> writes:
> Well, I've re-run the checks several times after a clean make and it
> does not crash anymore. So the patch seems to help !
Thought it might ;-)
> Please consider applying it.
Done.
regards, tom lane