diff options
| author | Fred Hebert <mononcqc@ferd.ca> | 2015-05-30 19:16:53 -0400 |
|---|---|---|
| committer | Fred Hebert <mononcqc@ferd.ca> | 2015-05-30 19:16:53 -0400 |
| commit | 274839a76c3c15ca12621fedc44f87588295a2d3 (patch) | |
| tree | 8d1f95d77c35ec2e80ee816f150e9cdf594e7ace /priv/shell-completion/bash/rebar3 | |
| parent | 4ac482e01826a01572ebbc735baed9ad81012c4a (diff) | |
| parent | 5f423e46d900d93a6a87ad2243124ec7fa894c93 (diff) | |
Merge pull request #486 from aboroska/fix-group_leader-dead-pid
Fix badarg exception when setting group_leader for a dead pid
Diffstat (limited to 'priv/shell-completion/bash/rebar3')
0 files changed, 0 insertions, 0 deletions