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

Drop unused tables#6115

Merged
richvdh merged 1 commit intodevelopfrom
rav/drop_unused_tables
Sep 30, 2019
Merged

Drop unused tables#6115
richvdh merged 1 commit intodevelopfrom
rav/drop_unused_tables

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