hpcugent/easybuild-easyconfigs — pull request #1207 by rjeschmi (2014-11-22 00:27:17+00:00)
Title: Somehow a line got repeated in openmpi-1.8.1

Probably won't cause problems, but clearly a bug.