David 748a8e384d Don't delete old db after migration (#11662) ... * Don't delete old db after migration Fixes unwanted shuffling&deletion of the old database after a migration that merely deletes data in one of the existing database columns. * Update util/migration-rocksdb/src/lib.rs Co-Authored-By: Andronik Ordian <write@reusable.software> Co-authored-by: Andronik Ordian <write@reusable.software>		2020-04-29 16:58:14 +02:00
..
rocksdb	Don't delete old db after migration (#11662)	2020-04-29 16:58:14 +02:00
mod.rs	license update (#11543)	2020-03-05 12:19:39 +01:00