Skip to content

Comments

remove warning for get_idn, add default value#518

Merged
giulioungaretti merged 1 commit intomicrosoft:masterfrom
VandersypenQutech:fix/defaultidn
Mar 10, 2017
Merged

remove warning for get_idn, add default value#518
giulioungaretti merged 1 commit intomicrosoft:masterfrom
VandersypenQutech:fix/defaultidn

Conversation

@peendebak
Copy link
Contributor

@giulioungaretti giulioungaretti merged commit 4651e11 into microsoft:master Mar 10, 2017
giulioungaretti pushed a commit that referenced this pull request Mar 10, 2017
Author: peendebak <[email protected]>

    add sane default get_idn (#518)
@giulioungaretti
Copy link
Contributor

@peendebak thanks ⚜️

@peendebak peendebak deleted the fix/defaultidn branch March 13, 2017 15:52
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.

3 participants