diff options
| author | Rickard Green <[email protected]> | 2019-01-16 11:37:16 +0100 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2019-01-16 11:37:16 +0100 |
| commit | edb27b79099bb2bab9d6bf9cabf3494c3f067d8b (patch) | |
| tree | fbb8e44eb6fcf897d2201fa228861ab6a3802952 /.gitignore | |
| parent | 634be8f9e4704dc46ce7de02bc224c1b3ef82a97 (diff) | |
| parent | 04c4d7ec3ea8863b7763ffdf5ba75b0404aee3b6 (diff) | |
| download | otp-edb27b79099bb2bab9d6bf9cabf3494c3f067d8b.tar.gz otp-edb27b79099bb2bab9d6bf9cabf3494c3f067d8b.tar.bz2 otp-edb27b79099bb2bab9d6bf9cabf3494c3f067d8b.zip | |
Merge branch 'maint'
* maint:
Fix bug causing dirty scheduler sleeper list inconsistency
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions