Jinhao e0ee42d184 merge beru's changes

2015-08-02 03:33:43 +08:00

..

platform_spec.cpp

merge beru's changes

2015-08-02 03:33:43 +08:00