merge
Merge branch 'master' of https://github.com/fredericky/45eb9e92911a4f
Merge branch 'master' of https://github.com/fredericky/45eb9e92911a4f
Merge branch 'master' of https://github.com/fredericky/45eb9e92911a4f
Merge branch 'master' of https://github.com/fredericky/45eb9e92911a4f
add platform to db