Merge manually pull-request #965

2015-07-03 19:57:52 -04:00
parent d3f3669840
commit b054790200
2 changed files with 3 additions and 1 deletions
--- a/CONTRIBUTORS.md
+++ b/CONTRIBUTORS.md
@@ -54,6 +54,7 @@ Contributors:
 - [Norcnorc](https://github.com/norcnorc)
 - [Nramel](https://github.com/nramel)
 - [Null-Kelvin](https://github.com/Null-Kelvin)
+- [Olaf Lessenich](https://github.com/xai)
 - [Oliver Bertuch](https://github.com/poikilotherm)
 - [Olivier Maridat](https://github.com/oliviermaridat)
 - [Oren Ben-Kiki](https://github.com/orenbenkiki)