Revert "Merge branch 'master' of git://factorcode.org/git/factor" This reverts commit da639739bd, reversing changes made to 346a61f497.
da639739bd
346a61f497