Samuel Yvon 0365379016
Fix floating point in number of workers nw (#6701)
Integer division by a float yields a (rounded) float. This causes
the dataloader to crash when creating a range.
2022-02-18 21:06:21 +01:00
..
2022-02-12 16:05:43 +01:00
2022-02-05 15:22:59 +01:00
2022-02-05 15:22:59 +01:00