Gaspard-- opened this issue 6 years ago · 0 comments
This would add the guaranty that there can never be two config_ids referencing the same config on the client side, and thus give comparison garanties.