> On 16 Dec 2019, at 15:47, Alvaro Herrera <alvherre(at)2ndquadrant(dot)com> wrote:
> Please, where did you find this "form"?
It seems to be from the wiki:
https://wiki.postgresql.org/wiki/Submitting_a_Patch#Patch_submission
cheers ./daniel