beremiz

Merge.

2023-02-28, Edouard Tisserant
0c06de0a39b5
Merge.
/**
* No platform specific code for "Generic" target
**/