git.iko.soy/Idris-dev
on master help sign in
Merge pull request #4126 from lambda-11235/add-contrib-name
b117f9fNiklas Larsson
CONTRIBUTORS+1
compare with master
unifiedsplit
@@ -203,6 +203,7 @@ Stuart Gale
203suhorng
203suhorng
204Sune Alkærsig
204Sune Alkærsig
205Sven Koschnicke
205Sven Koschnicke
206+Taran Lynn
206tdidriksen
207tdidriksen
207Tenor Biel
208Tenor Biel
208Thomas Cooper
209Thomas Cooper