Proposal: Make gcd total

[Ivan Lazar Miljenovic]

On 19 May 2011 18:35, Simon Peyton-Jones <simonpj at microsoft.com> 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 gmail.com
IvanMiljenovic.wordpress.com