This repository was archived by the owner on Sep 30, 2024. It is now read-only.
./dev/add_migration.sh: catch bad migrate call#5945
Merged
chrismwendt merged 1 commit intomasterfrom Oct 10, 2019
Merged
Commits
Commits on Oct 10, 2019
- committed
