Roald Baudoux
Hello,Is there any way to rename a dict's key without copying the data associated with this key into a new one and deleting the old one?
Thank you for helping.