RIOT-OS/RIOT — pull request #1743 by N8Fear (2014-09-30 23:01:25+00:00)
Title: travis: remove comment obsoleted by #1742

I overlooked this comment before merging #1742. This PR fixes this.