migrateDirtyDBtoRealDB: formatting

No functional changes.
This commit is contained in:
John McLear 2020-05-08 20:17:31 +00:00 committed by muxator
parent 770c1c80b7
commit d155b792e9