diff options
| author | Rickard Green <[email protected]> | 2016-05-04 14:42:45 +0200 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2016-05-04 14:42:45 +0200 |
| commit | e7767ed5bd7dd770eab5096e0868701d59d1fa74 (patch) | |
| tree | 4c0dda9bda0f3b4f078d713a8037611eb14a03ba /erts/.gitignore | |
| parent | 2a9fbb1c76334f0211214a0aee517ec03de0e487 (diff) | |
| parent | 19932cade31a7973120eba8db9a3b57b925f674a (diff) | |
| download | otp-e7767ed5bd7dd770eab5096e0868701d59d1fa74.tar.gz otp-e7767ed5bd7dd770eab5096e0868701d59d1fa74.tar.bz2 otp-e7767ed5bd7dd770eab5096e0868701d59d1fa74.zip | |
Merge branch 'rickard/reds-fix/master/OTP-13512'
* rickard/reds-fix/master/OTP-13512:
Ensure correct reduction counting
Diffstat (limited to 'erts/.gitignore')
0 files changed, 0 insertions, 0 deletions