New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

issues-161 gen_server crash with case_clause fix #162

Merged

uwiger merged 1 commit into uwiger:master from NoobsEnslaver:issues-161

Sep 20, 2018

NoobsEnslaver commented Sep 19, 2018

#161 fix


          issues-161 gen_server crash with badmatch fix

4a47156

NoobsEnslaver mentioned this pull request

Generic server gproc terminating on reg #161

Closed

NoobsEnslaver changed the title ~~issues-161 gen_server crash with badmatch fix~~ issues-161 gen_server crash with case_clause fix

uwiger approved these changes

View reviewed changes

uwiger merged commit ed37980 into uwiger:master

Owner

uwiger commented Sep 20, 2018

Thanks - merged.

NoobsEnslaver deleted the issues-161 branch

September 20, 2018 08:24

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment