Accepted libminini 1.2.a+ds-4 (source) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Wed, 31 Jul 2019 10:00:54 +0800
Source: libminini
Architecture: source
Version: 1.2.a+ds-4
Distribution: unstable
Urgency: medium
Maintainer: Yangfl <mmyangfl@gmail.com>
Changed-By: Yangfl <mmyangfl@gmail.com>
Closes: 933496
Changes:
 libminini (1.2.a+ds-4) unstable; urgency=medium
 .
   * Fix FTBFS on alpha again
   * Ship all header files (Closes: #933496)
Checksums-Sha1:
 b88084f0bdd643d6a2b1ffc498a37e03ae004e86 1971 libminini_1.2.a+ds-4.dsc
 25d4422887a8cc42936652d5abc861f1b69130d7 6064 libminini_1.2.a+ds-4.debian.tar.xz
 e706ca51fea16103d811dbf5e9dc5faf15b2c8a9 6019 libminini_1.2.a+ds-4_amd64.buildinfo
Checksums-Sha256:
 00480a95059278fade737ee90e9aae6b03e29ecfbd08797a9ccddbff7c57ed9f 1971 libminini_1.2.a+ds-4.dsc
 058c4bdfedec7d4cf9a4d6ea0328df3167aeaf61612ca75e5f74888947d79ae9 6064 libminini_1.2.a+ds-4.debian.tar.xz
 5f4f1cb007372e295cd80e937274fe6b24598c267123ecc045cff6ae308a774d 6019 libminini_1.2.a+ds-4_amd64.buildinfo
Files:
 4167f72af0bf8ec40b98da8c355694d3 1971 libs optional libminini_1.2.a+ds-4.dsc
 3c3c000c721e927e73d91ae4bc8e982f 6064 libs optional libminini_1.2.a+ds-4.debian.tar.xz
 1ad601b58649aa65b7bf69e3554dfecd 6019 libs optional libminini_1.2.a+ds-4_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEfncpR22H1vEdkazLwpPntGGCWs4FAl1HNSEACgkQwpPntGGC
Ws7uzhAAvEHdZobnZx+4NYQRqxiaB/cUAeodEJ3t13kT4pr+xPpq8uVuYhSCbjvG
yXfUysS/hy4ZXJdK8bNeCXVO/zaOLELtSCoCnnbb6ADavn3BRBTGPkJuvFwisRCk
QznFy6r6srEcKzeaIB5cltwKejswc7nkOBmP1HJD5ub3eSwng5bF3Vq5rl1JfrH4
1tN9OIlG9GHsNcLk3tb4TZGVgRfBqpvyBN40EcOCvurOl2h6BfhxDqqyn4OgiWDO
ouXfN18pxUeL6wvR22ctNKjaXWEmUPAfZb6g+M/5/vVEi59zYWPU49odMrwKDPk+
MC5UWzV9av7SYNhCPkrM4hGKZTZjsXeB/DzRiepRKlLF1+TFD+XpOMJMVMZy1lxU
7xeml3lOR6TpmK3qYv4eko3hUjEnoUG2cmNwM3h4sE82ZOvuE861PPOhR6XDt4H2
VG3AvdEHs0WpzX2EjqM3ZsNTLp3oH9aRok7m4uBcp3I18qcej+xyVhrxX7sNKKzK
g0MP+0O3bVFnxqmK1zB3D/azUTVgq2xPVDPU8ddSJRrS/EGQ+Wd/BqQNmCCxF0GV
GvBAb4nWJcefXZifGljsWKbUyr/+3+DE1SGxst0YJ1QHOR8siUE6Vco+N4zq2stc
7xfSogBZkUBuD2Rzc5fFBHR8lbbPUu3HxZLrGGwdsPKh6t0r3kw=
=w1gD
-----END PGP SIGNATURE-----