OK. I'll wait for the next PostgreSQL minor version update and add the patch then, if upstream hasn't already integrated it.