MAINTAINERS: replace git pointer to github#9
Merged
nashif merged 2 commits intozephyrproject-rtos:masterfrom May 1, 2017
Merged
MAINTAINERS: replace git pointer to github#9nashif merged 2 commits intozephyrproject-rtos:masterfrom
nashif merged 2 commits intozephyrproject-rtos:masterfrom