aseba-community/aseba — pull request #312 by vaussard (2014-04-14 11:11:46+00:00)
Title: Fix issue 310

The first commit is not strictly needed, but it is a better practice. The real fix is inside the second commit.