Skip to content

Conversation

@Xitian9
Copy link

@Xitian9 Xitian9 commented Dec 3, 2019

No description provided.

@andreasabel
Copy link
Member

Superseded by #72 which again add these specializations.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request performance

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants