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

Correction des DROP d'indexes #423

Merged
merged 2 commits into from
Oct 17, 2023
Merged

Conversation

rldhont
Copy link
Collaborator

@rldhont rldhont commented Oct 4, 2023

  • Ajout des DROP INDEX manquants
  • Suppression des DROP INDEX inutiles

Funded by Établissement Public Foncier Hauts De France

@rldhont rldhont added the données concerne un problème sur la qualité des données utilisées label Oct 4, 2023
@rldhont rldhont requested a review from mdouchin October 4, 2023 12:52
@rldhont rldhont merged commit 59bb09d into 3liz:master Oct 17, 2023
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
données concerne un problème sur la qualité des données utilisées
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants