[m-rev.] diff: fix string.base_string_to_int succeeding incorrectly

[Peter Moulder]

On Tue, Feb 12, 2013 at 07:45:52PM +1100, Paul Bone wrote:
> On Tue, Feb 12, 2013 at 07:33:28PM +1100, Peter Moulder wrote:
> > 
> > (I tried to get an up-to-date checkout, but I'm getting Connection timed out.
> > Might be a network/firewall problem at my end.)
> 
> Do you recall that we're now using git and github?
> 
> https://github.com/Mercury-Language/mercury

I did wonder, but a google search for

  ("mercury project" OR "mercury compiler")
  (cvs OR hg OR mercurial OR svn OR subversion OR git OR bzr OR arch OR darcs)
                                                  ^^^

finds no mention of git in the first two pages of results, and many mentions
of cvs.  One such page is /information/developers/remote_cvs.html,
which gives instructions for using CVS, and no mention of having moved to git.

I suggest it would be useful to update the website.

pjrm.