opencog/opencog — pull request #396 by linas (2013-11-10 20:22:41+00:00)
Title: atomspace: fix deadlock

This cures issue #393