Closed carmenbianca closed 3 months ago
This was previously undefined behaviour. Now that it has been defined, there is no need to raise a warning to the user.
Fixes #1010
This was previously undefined behaviour. Now that it has been defined, there is no need to raise a warning to the user.
Fixes #1010