Closed zbynek closed 8 months ago
@h-joo thanks for merging my other PR, will you be able to check/merge this one too?
@h-joo thanks for merging my other PR, will you be able to check/merge this one too?
First I want thank you for your contribution! I actually am happy with the current state of the PR, but this change broke some internal projects so I'm fixing them up before I can merge this in.
According to the docs this argument has to be a number. Using the more specific type is needed for https://github.com/google/elemental2/issues/129