Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fixed table id for issue#18 #19

Merged
merged 3 commits into from
Jun 16, 2022
Merged

fixed table id for issue#18 #19

merged 3 commits into from
Jun 16, 2022

Conversation

juiwenchen
Copy link
Contributor

fixed table id for issue#18

@ubmarco ubmarco linked an issue Jun 16, 2022 that may be closed by this pull request
@ubmarco ubmarco self-requested a review June 16, 2022 20:19
@ubmarco
Copy link
Member

ubmarco commented Jun 16, 2022

recheck

ubmarco added 2 commits June 16, 2022 22:25
Unrelated change to fix Github actions running
Python 3.6 which is not configured.
@ubmarco ubmarco closed this Jun 16, 2022
@ubmarco ubmarco deleted the duplicate-table-ids branch June 16, 2022 20:39
@ubmarco ubmarco restored the duplicate-table-ids branch June 16, 2022 20:44
@ubmarco ubmarco reopened this Jun 16, 2022
@ubmarco ubmarco merged commit 2532222 into master Jun 16, 2022
@ubmarco ubmarco deleted the duplicate-table-ids branch June 16, 2022 20:44
ubmarco added a commit that referenced this pull request Jun 16, 2022
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.

Duplicate table IDs
2 participants