OTP 19 dialyzer + OTP 21 compilation issues#105
Closed
paulo-ferraz-oliveira wants to merge 2 commits intodevinus:masterfrom
paulo-ferraz-oliveira:fix/otp_19_dialyzer_otp_21_compil
Closed
OTP 19 dialyzer + OTP 21 compilation issues#105paulo-ferraz-oliveira wants to merge 2 commits intodevinus:masterfrom paulo-ferraz-oliveira:fix/otp_19_dialyzer_otp_21_compil
paulo-ferraz-oliveira wants to merge 2 commits intodevinus:masterfrom
paulo-ferraz-oliveira:fix/otp_19_dialyzer_otp_21_compil
Conversation
Contributor
|
@paulo-ferraz-oliveira I think my pr #105 is better than yours, take a look at it. |
Author
|
@getong, do you mean #104? [better is a relative term, I guess :D] In any case, you didn't include:
I'll close it since it seems nobody's paying attention to PRs anyway :D (the last change was 2 years ago and there's about 15 unanswered PRs). |
Collaborator
|
If you want to add the extra versions to Travis for this PR and re-open it, I can merge it. |
Collaborator
|
Actually, I'm not sure on the OTP compatability guidelines for poolboy, but surely we can drop R16 at this point? |
Contributor
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.