-
Niels De Graef authored
This will always copy the value, even when we don't need it. Use `get_values()` instead, and return the first element.
25d83d3e
This will always copy the value, even when we don't need it. Use `get_values()` instead, and return the first element.