1. 2017-05-17 [4] Is asm code selection optimal? gmp-devel =?utf-8?Q?Tor 2. 2017-05-07 [1] [ADMIN] GMP server now hopefully stable gmp-devel =?utf-8?Q?Tor