Skip to content

Conversation

@JeffBezanson
Copy link
Member

fix #33675

@JeffBezanson JeffBezanson added the bugfix This change fixes an existing bug label Oct 29, 2019
@Keno Keno merged commit 1b6101a into master Oct 29, 2019
@Keno Keno deleted the jb/fix33675 branch October 29, 2019 06:35
KristofferC pushed a commit that referenced this pull request Nov 7, 2019
@KristofferC KristofferC mentioned this pull request Nov 7, 2019
19 tasks
@KristofferC KristofferC mentioned this pull request Dec 3, 2019
56 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bugfix This change fixes an existing bug

Projects

None yet

Development

Successfully merging this pull request may close these issues.

summarysize is incorrect for small union types

3 participants