On 07/07/2016 06:48 PM, Dave Page wrote:
>> On 7 Jul 2016, at 17:35, Stuart Gathman <stuart(at)gathman(dot)org> wrote:
>>
>> I submitted a bugfix to this mailing list, didn't see a response, but
>> *did* see references to issue numbers. Where do you file issues? I
>> came to this mailing list from pgadmin.org.
> I don't recall seeing that - can you send it again please?
>
> The tracker is here:
> https://redmine.postgresql.org/projects/pgadmin3/issues
Looks like you have to be an active pgadmin dev to open issues, so my
repost to the list will have to suffice.