Skip to content

Conversation

aherlihy
Copy link
Contributor

@aherlihy aherlihy commented Sep 17, 2020

Description

Checklist

  • New tests and/or benchmarks are included
  • Documentation is changed or added

Motivation and Context

  • Bugfix
  • New feature
  • Dependency update
  • Misc

Open Questions

Dependents

Types of changes

  • Backport Needed
  • Patch (non-breaking change which fixes an issue)
  • Minor (non-breaking change which adds functionality)
  • Major (fix or feature that would cause existing functionality to change)

@aherlihy aherlihy merged commit 3518240 into master Sep 17, 2020
@aherlihy aherlihy deleted the 4401-dev branch September 17, 2020 12:33
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.

1 participant