1. 2016-11-19 Suggestion to stop long operations gmp-discu =?utf-8?Q?D=C3=A9c 2. 2016-11-18 Suggestion to stop long operations gmp-discu =?utf-8?Q?Torbj=C3 3. 2016-11-18 Suggestion to stop long operations gmp-discu Pierre Chatelier