RIOT-OS/RIOT — pull request #2126 by authmillenon (2014-12-03 11:30:49+00:00)
Title: pr_check: Fix matching

Fixes #2125