Patch applied to both 7.3 and head.
--Barry
Zhenbang Wei wrote:> ---------------------------(end of broadcast)---------------------------> TIP 1: subscribe and unsubscribe commands go to majordomo(at)postgresql(dot)org