rename migration from 01-09 after bad merge (#1709)

* rename migration from 01-09 after bad merge
pull/1713/head
Thor 5 years ago committed by GitHub
parent ad31b6d6c3
commit 7fa2cd2526
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
Loading…
Cancel
Save