Merge branch 'release/0.12.7' into develop
Fix termination bugs
Roll backend-db version 0.12.8
Merge branch 'release/0.12.8'