diff options
| author | Rickard Green <[email protected]> | 2017-02-06 17:06:40 +0100 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2017-02-06 17:06:40 +0100 |
| commit | e3f2ac81039f713d2b685130e8709274b87371ac (patch) | |
| tree | e44de180b8ad7bb0e760d9b466e05b1dd405cdba /plt | |
| parent | 77a9b8c6fe331761a89d48419ee2200ba5377e49 (diff) | |
| parent | c95e126ab3d4fbf38ef6cb9694da079d895ffa68 (diff) | |
| download | otp-e3f2ac81039f713d2b685130e8709274b87371ac.tar.gz otp-e3f2ac81039f713d2b685130e8709274b87371ac.tar.bz2 otp-e3f2ac81039f713d2b685130e8709274b87371ac.zip | |
Merge branch 'maint'
* maint:
Use a hole-marker that cannot be mistaken for a valid term on the heap
Diffstat (limited to 'plt')
0 files changed, 0 insertions, 0 deletions