On Mon, Oct 12, 2020 at 6:26 PM Bryn Llewellyn <bryn@yugabyte.com> wrote:
I hadn’t realized that submitting a bug as the doc at www.postgresql.org/docs/12/bug-reporting.html seems to suggest is the recommended method (“In general, send bug reports to the bug report mailing list at <pgsql-bugs@lists.postgresql.org>…”) would _never_ result in a bug being filed (even if it’s acknowledged to be a bug). So thanks for that tip off!
Your concept and definition of "bug report" seem to be slightly different than what we use here. We're pretty loose but generally try to create link chains from the -bugs mailing list emails to the patches submitted to -hackers and the published commits.