Skip to content
This repository was archived by the owner on Oct 3, 2023. It is now read-only.

Conversation

@chingor13
Copy link
Member

Fixes #144

@chingor13 chingor13 requested a review from tmatsuo March 23, 2018 18:59
@chingor13 chingor13 closed this Mar 23, 2018
@chingor13 chingor13 reopened this Mar 23, 2018
@chingor13 chingor13 merged commit 829c42f into master Mar 28, 2018
@chingor13 chingor13 deleted the multi-sampler branch March 28, 2018 19:46
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants