Skip to content

Remove deprecated database files#1508

Merged
NicolasMahe merged 2 commits intodevfrom
refactor/depcreated-db
Nov 19, 2019
Merged

Remove deprecated database files#1508
NicolasMahe merged 2 commits intodevfrom
refactor/depcreated-db

Conversation

@krhubert
Copy link
Copy Markdown
Contributor

close #1507

@krhubert krhubert requested a review from NicolasMahe November 18, 2019 21:17
@krhubert krhubert self-assigned this Nov 18, 2019
@NicolasMahe NicolasMahe changed the title Rmove deprecated database files Remove deprecated database files Nov 19, 2019
@NicolasMahe NicolasMahe merged commit f73c774 into dev Nov 19, 2019
@NicolasMahe NicolasMahe deleted the refactor/depcreated-db branch November 19, 2019 03:08
@NicolasMahe NicolasMahe added this to the next milestone Nov 19, 2019
@NicolasMahe NicolasMahe added the release:remove Pull requests that remove something label Nov 26, 2019
@NicolasMahe NicolasMahe mentioned this pull request Nov 26, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

refactoring release:remove Pull requests that remove something

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Issue with a merge

3 participants