Allow impl-specific `platform_config` values#165

Merged

thetorpedodog merged 1 commit intomainfrom rich-platform-config

May 17, 2023

+39-10

Commits on May 12, 2023

Allow impl-specific platform_config values.
thetorpedodog
committed