Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Adjust the default port to 5432. #1619

Merged
merged 1 commit into from Nov 26, 2019
Merged

Adjust the default port to 5432. #1619

merged 1 commit into from Nov 26, 2019

Conversation

ldming
Copy link
Contributor

@ldming ldming commented Nov 26, 2019

#1618 Adjust the default port to 5432.

@AppVeyorBot
Copy link

@AppVeyorBot AppVeyorBot commented Nov 26, 2019

@codecov-io
Copy link

@codecov-io codecov-io commented Nov 26, 2019

Codecov Report

Merging #1619 into master will increase coverage by 0.1%.
The diff coverage is n/a.

@@             Coverage Diff             @@
##             master    #1619     +/-   ##
===========================================
+ Coverage     68.94%   69.05%   +0.1%     
- Complexity     4032     4040      +8     
===========================================
  Files           179      179             
  Lines         16750    16750             
  Branches       2740     2740             
===========================================
+ Hits          11549    11567     +18     
+ Misses         3931     3917     -14     
+ Partials       1270     1266      -4

@davecramer davecramer merged commit 9a193de into pgjdbc:master Nov 26, 2019
3 checks passed
davecramer pushed a commit to davecramer/pgjdbc that referenced this issue Jul 5, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants