Proposal: Make gcd total

Ivan Lazar Miljenovic ivan.miljenovic at
Thu May 19 14:13:32 CEST 2011

On 19 May 2011 18:35, Simon Peyton-Jones <simonpj at> wrote:
> It's a draft.  What do you think of it?  Do you think it would be better than the status quo?  Can you suggest any improvements?

Under section 3:

"At the end of the discussion period, summarise your understanding of
the consensus (or lack thereof), including a link to the thread in the
mailing list archives, and send the summary to the moderator for
decision. "

Should that be _maintainer_ rather than moderator?

Ivan Lazar Miljenovic
Ivan.Miljenovic at

More information about the Libraries mailing list