On 10/17/13 12:45 PM, Robert Haas wrote:> The attached patch, which I propose to apply relatively soon if nobody> objects, removes the IRIX port.
+1