Bug: cut_short_scale() fails with vector of ... "some" numbers
#440
| Job | Run time |
|---|---|
| 0s | |
| 0s | |
| 0s |
cut_short_scale() fails with vector of ... "some" numbers
#440
| Job | Run time |
|---|---|
| 0s | |
| 0s | |
| 0s |