Skip to content

[hail] make add_sequence more convenient#5374

Merged
danking merged 1 commit intohail-is:masterfrom
danking:rg-add_sequence-convenience
Feb 15, 2019
Merged

[hail] make add_sequence more convenient#5374
danking merged 1 commit intohail-is:masterfrom
danking:rg-add_sequence-convenience

Conversation

@danking
Copy link
Copy Markdown
Contributor

@danking danking commented Feb 15, 2019

This seems not confusing and helpful.

@danking danking merged commit 0b858ec into hail-is:master Feb 15, 2019
@danking danking deleted the rg-add_sequence-convenience branch December 18, 2019 19:57
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