X Tutup
Skip to content

fix: improve pickle support#838

Merged
max-wittig merged 1 commit intomasterfrom
pickle-fix
Jul 21, 2019
Merged

fix: improve pickle support#838
max-wittig merged 1 commit intomasterfrom
pickle-fix

Conversation

@max-wittig
Copy link
Member

Fixes #826

@max-wittig max-wittig merged commit f0e3daa into master Jul 21, 2019
@max-wittig max-wittig deleted the pickle-fix branch July 21, 2019 19:15
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.

2 participants

X Tutup