Skip to content

Fix role deserialization.#143

Merged
sierpinskid merged 1 commit intodevelopfrom
bugfix/fix-role-deserialization
Apr 10, 2024
Merged

Fix role deserialization.#143
sierpinskid merged 1 commit intodevelopfrom
bugfix/fix-role-deserialization