chiark / gitweb /
dh: Fix mpz padding bug in use of write_mpbin