From: Jose A. Ortega Ruiz <jao@gnu.org>
Date: Wed, 17 Dec 2008 09:28:39 +0000 (+0100)
Subject: Merge commit 'origin/master'
X-Git-Tag: 0.94~2199^2^2~1^2~2
X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=commitdiff_plain;h=47b6da1b0c24ab0a349ff4ba7994a29c8d69278a

Merge commit 'origin/master'
---

47b6da1b0c24ab0a349ff4ba7994a29c8d69278a