diff options
author | John Högberg <[email protected]> | 2018-03-27 06:58:10 +0200 |
---|---|---|
committer | GitHub <[email protected]> | 2018-03-27 06:58:10 +0200 |
commit | e176b62e96e4452443b5be347fb7b97a561c5b3b (patch) | |
tree | 38c923cf88cec72eb3e43e380bbaefde4160abdb /erts/.gitignore | |
parent | bebf113ecd2d6a27808fc952e1f14db78515efb3 (diff) | |
parent | 06ed628dfd013010dd6e182508c1137b9f4ba09b (diff) | |
download | otp-e176b62e96e4452443b5be347fb7b97a561c5b3b.tar.gz otp-e176b62e96e4452443b5be347fb7b97a561c5b3b.tar.bz2 otp-e176b62e96e4452443b5be347fb7b97a561c5b3b.zip |
Merge pull request #1760 from jhogberg/john/erts/any-term-as-seq_trace-label/OTP-14899
Lift the type restrictions on seq_trace token labels
Diffstat (limited to 'erts/.gitignore')
0 files changed, 0 insertions, 0 deletions