Skip to content

Re-sort databases list after db rename#685

Merged
aeisenberg merged 1 commit intogithub:mainfrom
aeisenberg:aeisenberg/sort-after-rename
Nov 20, 2020
Merged

Re-sort databases list after db rename#685
aeisenberg merged 1 commit intogithub:mainfrom
aeisenberg:aeisenberg/sort-after-rename

Commits

Commits on Nov 20, 2020