On Mon, Feb 1, 2016 at 10:22 PM, Fujii Masao <masao(dot)fujii(at)gmail(dot)com> wrote:
> Pushed. Thanks!>
OK. And attached is the promised patch for ALTER FUNCTION.-- Michael