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

re-add pgjdbc-jre6 build #1787

Merged
merged 1 commit into from
May 28, 2020
Merged

re-add pgjdbc-jre6 build #1787

merged 1 commit into from
May 28, 2020

Conversation

vlsi
Copy link
Member

@vlsi vlsi commented May 27, 2020

No description provided.

@jorsol
Copy link
Member

jorsol commented May 27, 2020

Any reason to keep Java 6 alive?

@vlsi vlsi force-pushed the readd-jre6 branch 4 times, most recently from 72721cd to 56e01ac Compare May 27, 2020 19:36
@codecov-commenter
Copy link

Codecov Report

Merging #1787 into master will decrease coverage by 0.01%.
The diff coverage is 100.00%.

@@             Coverage Diff              @@
##             master    #1787      +/-   ##
============================================
- Coverage     69.17%   69.16%   -0.02%     
+ Complexity     4177     4175       -2     
============================================
  Files           187      187              
  Lines         17242    17242              
  Branches       2856     2856              
============================================
- Hits          11927    11925       -2     
- Misses         4022     4023       +1     
- Partials       1293     1294       +1     

@vlsi vlsi merged commit d224acd into pgjdbc:master May 28, 2020
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

3 participants