diff options
| author | Rickard Green <[email protected]> | 2014-11-25 19:45:19 +0100 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2014-11-25 19:45:19 +0100 |
| commit | 89858cf060df65d966892ee50983274d6297cea8 (patch) | |
| tree | 33004ea5b8ca41f70c8965ea8c3baae650edb9f9 /erts/.gitignore | |
| parent | 7c14d7b35f3fe6df4ab44a30ba1e3c6dac00a70b (diff) | |
| parent | f4dce072bab24674295a90d06786349a252a0891 (diff) | |
| download | otp-89858cf060df65d966892ee50983274d6297cea8.tar.gz otp-89858cf060df65d966892ee50983274d6297cea8.tar.bz2 otp-89858cf060df65d966892ee50983274d6297cea8.zip | |
Merge branch 'maint'
* maint:
Do not let non-empty run-queue prevent activation of scheduler
Diffstat (limited to 'erts/.gitignore')
0 files changed, 0 insertions, 0 deletions