public inbox for [email protected]  
help / color / mirror / Atom feed
From: Pravesh Sharma <[email protected]>
To: [email protected]
Subject: [pgadmin-org/pgadmin4] 2d60bc: Fixed an issue where export servers was not adding...
Date: Tue, 19 Dec 2023 22:06:55 -0800
Message-ID: <pgadmin-org/pgadmin4/push/refs/heads/master/[email protected]> (raw)

  Branch: refs/heads/master
  Home:   https://github.com/pgadmin-org/pgadmin4
  Commit: 2d60bc280026774841426173490d6a75b6e71ee5
      https://github.com/pgadmin-org/pgadmin4/commit/2d60bc280026774841426173490d6a75b6e71ee5
  Author: Pravesh Sharma <[email protected]>
  Date:   2023-12-20 (Wed, 20 Dec 2023)

  Changed paths:
    M web/pgadmin/tools/import_export_servers/__init__.py

  Log Message:
  -----------
  Fixed an issue where export servers was not adding extension if not specified. #6781








reply

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Reply to all the recipients using the --to and --cc options:
  reply via email

  To: [email protected]
  Cc: [email protected], [email protected]
  Subject: Re: [pgadmin-org/pgadmin4] 2d60bc: Fixed an issue where export servers was not adding...
  In-Reply-To: <pgadmin-org/pgadmin4/push/refs/heads/master/[email protected]>

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

This inbox is served by agora; see mirroring instructions
for how to clone and mirror all data and code used for this inbox