Skip to content

Conversation

@JeffBezanson
Copy link
Member

fixes #31965

@JeffBezanson JeffBezanson added bugfix This change fixes an existing bug backport 1.2 labels May 8, 2019
@Keno
Copy link
Member

Keno commented May 8, 2019

Test case? :)

@fredrikekre
Copy link
Member

Thanks! I can confirm this fixes the original problem too.

@JeffBezanson JeffBezanson merged commit e3afef0 into master May 9, 2019
@JeffBezanson JeffBezanson deleted the jb/fix31965 branch May 9, 2019 19:00
KristofferC pushed a commit that referenced this pull request May 9, 2019
@KristofferC KristofferC mentioned this pull request May 9, 2019
58 tasks
fredrikekre pushed a commit that referenced this pull request Aug 20, 2019
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.

Regression with --compile=min for 1.2/master compared to 1.0/1.1

4 participants