Skip to content

Conversation

@JeffBezanson
Copy link
Member

No description provided.

@JeffBezanson JeffBezanson added bugfix This change fixes an existing bug backport pending 1.0 labels Sep 28, 2018
@JeffBezanson JeffBezanson merged commit f42f7b7 into master Sep 29, 2018
@JeffBezanson JeffBezanson deleted the jb/fix20872 branch September 29, 2018 19:20
KristofferC pushed a commit that referenced this pull request Sep 30, 2018
KristofferC pushed a commit that referenced this pull request Feb 11, 2019
KristofferC pushed a commit that referenced this pull request Feb 20, 2020
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.

2 participants