Idris-dev icon indicating copy to clipboard operation
Idris-dev copied to clipboard
verified publisher icon idris-lang

Add .mailmap

Open reynir opened this issue 3 years ago • 0 comments

I changed my lastname in ~2014.

reynir avatar Mar 29 '22 11:03 reynir