Skip to content

Conversation

@nickvergessen
Copy link
Member

Backport of #11838

@MorrisJobke MorrisJobke merged commit 5ad40b2 into stable14 Nov 8, 2018
@MorrisJobke MorrisJobke deleted the backport/11838/fix-default-types-of-members branch November 8, 2018 21:42
@MorrisJobke MorrisJobke mentioned this pull request Nov 13, 2018
@MorrisJobke MorrisJobke mentioned this pull request Nov 22, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants