RIOT-OS/RIOT — pull request #902 by Kijewski (2014-03-19 13:58:16+00:00)
Title: Fix issue #896

Right now Jenkins nags about every PR, because of issue #896, which makes the CI integration kinda futile …