From: Doug Coleman <doug.coleman@gmail.com>
Date: Mon, 14 Jun 2010 01:35:26 +0000 (-0500)
Subject: Merge branch 'master' of github.com:erg/factor
X-Git-Tag: 0.97~4692^2~4^2~33
X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=commitdiff_plain;h=c5ff05f9fe01f08f592b0036c95fce31fa195917

Merge branch 'master' of github.com:erg/factor
---

c5ff05f9fe01f08f592b0036c95fce31fa195917