Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.
Sign uprefactor: remove charset property not used #709
Conversation
This comment has been minimized.
This comment has been minimized.
codecov-io
commented
Dec 12, 2016
•
Current coverage is 64.24% (diff: 100%)@@ master #709 diff @@
==========================================
Files 164 164
Lines 15145 15141 -4
Methods 0 0
Messages 0 0
Branches 2987 2987
==========================================
- Hits 9728 9727 -1
+ Misses 4183 4182 -1
+ Partials 1234 1232 -2
|
jorsol
force-pushed the
jorsol:delete-charSet-property
branch
from
3017742
to
1f8cc1b
Dec 14, 2016
vlsi
merged commit f6fd5a5
into
pgjdbc:master
Dec 30, 2016
vlsi
added this to the 42.0.0 milestone
Dec 30, 2016
jorsol
deleted the
jorsol:delete-charSet-property
branch
Jan 4, 2017
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
jorsol commentedDec 8, 2016
"This property is only relevant for server versions less than or equal to 7.2."