beremiz

Merged

2018-10-02, Edouard Tisserant
4d7cee25a474
Merged
/**
* No platform specific code for "Generic" target
**/