std: bigint.deinit() shouldn't need a mutable pointer

b61e53cc40daurnimator committed on 2/14/2020, 7:59:07 AMparentfb6b94f
1 file changedLine totals unavailable