-
Colomban Wendling authored
There is no point in having them mutable, and makes the API look more awkward and harder to use than it actually is.
3ba50db9
There is no point in having them mutable, and makes the API look more awkward and harder to use than it actually is.