Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Support EEP37: Funs with names #74
Hi -- coming back to life in PropEr... was pretty swamped with other stuff till recently.
If yes, can we have a test added to this pull request (I guess