-
Jens Korinth authored
* libplatform now automatically logs the contents of perf when destroying the device * fixed awkward platform_destroy_device: can be destroyed by pointer now, not only id
96367750
* libplatform now automatically logs the contents of perf when destroying the device * fixed awkward platform_destroy_device: can be destroyed by pointer now, not only id