Skip to content

make_table_options#374

Merged
guo-ran merged 1 commit intomainfrom
make_table_options
Aug 5, 2022
Merged

make_table_options#374
guo-ran merged 1 commit intomainfrom
make_table_options

Conversation

@ShawnXuan
Copy link
Contributor

make_table -> make_table_options

@ShawnXuan ShawnXuan requested a review from guo-ran August 5, 2022 08:49
@guo-ran guo-ran merged commit 9a7546d into main Aug 5, 2022
@ShawnXuan ShawnXuan deleted the make_table_options branch August 5, 2022 09:06
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