RIOT-OS/RIOT — pull request #1440 by Kijewski (2014-07-17 10:30:47+00:00)
Title: core: simplify mutex signatures

Fixes #1436