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.

Sign up for GitHub

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

Jump to bottom

Mise à jour des noms des régions #71

Merged
merged 1 commit into from
Jan 27, 2017
Merged

Mise à jour des noms des régions #71

merged 1 commit into from
Jan 27, 2017

Conversation

tmerlier
Copy link
Contributor

fix #70 Noms des régions obsolète

@tmerlier tmerlier added the bug label Jan 27, 2017
@tmerlier tmerlier added this to the Rentrée des classes milestone Jan 27, 2017
@tmerlier tmerlier self-assigned this Jan 27, 2017
@jdesboeufs jdesboeufs merged commit 4886274 into master Jan 27, 2017
@jdesboeufs jdesboeufs deleted the obsolete-regions branch January 27, 2017 20:58
@jdesboeufs jdesboeufs changed the title Manually adds new region names Mise à jour des noms des régions Jan 27, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jdesboeufs jdesboeufs jdesboeufs approved these changes

Assignees

@tmerlier tmerlier

Labels
bug
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Noms des régions obsolète
2 participants
@tmerlier @jdesboeufs