name to PushFunction type definition. Per suggestion by Tome Lane <tgl@sss.pgh.pa.us>
Attach a file by drag & drop or click to upload
