Jacek Sieka 02c8a1276b
avoid use of shallow (#636)
this probably has some tiny overhead but it shouldn't practically matter
2023-09-20 09:24:24 +02:00
..
2022-07-08 20:32:41 +02:00
2023-09-20 09:24:24 +02:00