opencog/opencog — pull request #708 by linas (2014-05-02 22:00:02+00:00)
Title: manual merge of #637

manual merge of Amebel's pull request #637