diff options
author | Rickard Green <[email protected]> | 2016-01-14 11:43:19 +0100 |
---|---|---|
committer | Rickard Green <[email protected]> | 2016-01-14 11:43:19 +0100 |
commit | f8da487826f96a7c5baf84074639cae03aee6b0b (patch) | |
tree | a7c4ceff9c3b20f2341540568b27d5a3aeb46818 /erts/doc/man1/.gitignore | |
parent | 5a874a9e58e09a894f36ab81a0eef46e1fc27cd0 (diff) | |
parent | 47a7d8b9d701b81355a02f4bad8d16a327bc1588 (diff) | |
download | otp-f8da487826f96a7c5baf84074639cae03aee6b0b.tar.gz otp-f8da487826f96a7c5baf84074639cae03aee6b0b.tar.bz2 otp-f8da487826f96a7c5baf84074639cae03aee6b0b.zip |
Merge branch 'vinoski/dirty-sched-no-aux-work/OTP-13236' into maint
* vinoski/dirty-sched-no-aux-work/OTP-13236:
Do not allow aux work on dirty schedulers
Diffstat (limited to 'erts/doc/man1/.gitignore')
0 files changed, 0 insertions, 0 deletions