Roald Baudoux

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?

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?

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?
T

Is there a function to rename a dict's key in JS?