From: Jose A. Ortega Ruiz <jao@gnu.org>
Date: Sun, 21 Dec 2008 04:16:52 +0000 (+0100)
Subject: Merge commit 'origin/master'
X-Git-Tag: 0.94~2199^2^2~1^2~1
X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=commitdiff_plain;h=746ec52032f3ccf34462e7ade6f0922fc168d3c6

Merge commit 'origin/master'
---

746ec52032f3ccf34462e7ade6f0922fc168d3c6