RIOT-OS/RIOT — pull request #119 by authmillenon (2013-08-11 20:19:00+00:00)
Title: Add missing mutex.h include

Fix for bug introduced in PR #105