Lower T4830/allocated_bytes due to [7bdcadda7/integer-gmp] (#8647)

Authored by hvr on Jan 13 2014, 7:22 AM.

Description

Lower T4830/allocated_bytes due to [7bdcadda7/integer-gmp] (Trac #8647)

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>

Details

Committed
hvrJan 13 2014, 7:24 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF2d9be8cb1152: Test Trac #8616
Branches
Unknown
Tags
Unknown