Mario Emmenlauer <mario(at)emmenlauer(dot)de> writes:
> And, this is my first bug report, I do not know how to close it. Please
> let me know if there is something I need to do.
Nope, we don't have any formal process for that. No worries.
regards, tom lane