new ArrayList API: fix ArrayList.shrink

d3ab0eb28dxackus committed on 4/2/2020, 1:15:20 PMparent93a20f2
1 file changedLine totals unavailable