RIOT-OS/RIOT — pull request #2108 by LudwigOrtmann (2014-11-28 13:51:28+00:00)
Title: Thread new IRQ api

Addresses comments from https://github.com/RIOT-OS/RIOT/pull/1889