strands-project/strands_hri — pull request #37 by marc-hanheide (2014-05-09 15:42:44+00:00)
Title: renamed engagement_checker

I think this is the right name...