Skip to content
This repository has been archived by the owner on Apr 26, 2024. It is now read-only.

Drop unused tables #6115

Merged
merged 1 commit into from
Sep 30, 2019
Merged

Drop unused tables #6115

merged 1 commit into from
Sep 30, 2019

Conversation

richvdh
Copy link
Member

@richvdh richvdh commented Sep 26, 2019

These tables are unused since #5893 (as amended by #6047), so we can now drop
them.

Fixes #6048.

These tables are unused since #5893 (as amended by #6047), so we can now drop
them.

Fixes #6048.
@richvdh richvdh requested a review from a team September 26, 2019 14:37
@richvdh richvdh merged commit 16cb9a7 into develop Sep 30, 2019
@richvdh richvdh deleted the rav/drop_unused_tables branch September 30, 2019 08:38
babolivier pushed a commit that referenced this pull request Sep 1, 2021
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