Catch panics in the default platform and add comment to `Platform`#1403

Merged

tomaka merged 1 commit intosmol-dot:mainfrom tomaka:catch-panics-plat

Nov 24, 2023

+15-2

Commits on Nov 24, 2023

Catch panics in the default platform and add comment to Platform
tomaka
committed