Closed leungmanhin closed 5 years ago
Basically merging https://github.com/opencog/opencog/commit/8e4499a80839a0f0c0322752644ba5258104f7a2, with some minor tweak to fit into this code base
Basically merging https://github.com/opencog/opencog/commit/8e4499a80839a0f0c0322752644ba5258104f7a2, with some minor tweak to fit into this code base