RIOT-OS/RIOT — pull request #1917 by OlegHahm (2014-10-31 09:44:38+00:00)
Title: Config feature cleanup

Fixing some side effects of #1846 and #1900.