From: Philipp Brüschweiler <blei42@gmail.com>
Date: Fri, 6 Nov 2009 23:09:37 +0000 (+0100)
Subject: Merge branch 'master' of github.com:Blei/factor into fixes
X-Git-Tag: 0.97~5102^2~128^2
X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=commitdiff_plain;h=a5863320cf6ac395a74da1a01b83adb593846b23

Merge branch 'master' of github.com:Blei/factor into fixes
---

a5863320cf6ac395a74da1a01b83adb593846b23