On 05/10/2018 14:15, Peter Eisentraut wrote: > On 04/10/2018 22:07, Andres Freund wrote: >> On 2018-10-04 12:15:28 -0700, Lukas Fittl wrote: >>> Was this intentional, or an oversight? >>> >>> If welcome, I would be happy to work on a patch. Whilst slightly confusing >>> in terms of naming, we could just track this together with functions, since >>> one can always join with pg_proc to determine whether something is a >>> function or a procedure. >> >> Yea, that sounds wrong / not ideal to me. I think we should just fix >> this, should be easy enough. > > Here is a patch.
committed -- Peter Eisentraut http://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services