diff options
| author | Björn Gustavsson <[email protected]> | 2018-11-26 09:54:28 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2018-11-26 09:54:28 +0100 |
| commit | 9db0c37b94cb7eb2b5a50b5e843ec6e7d0b248b2 (patch) | |
| tree | 04419de7aceaf1b21a364a4ad1e23e6d7f5af7c9 | |
| parent | 0f0a30046df0aa2d9eccbfd25bc2b3efc4ffb045 (diff) | |
| parent | 791742877a893e41d17bf2fd6b0e10c3dfebec8b (diff) | |
| download | otp-9db0c37b94cb7eb2b5a50b5e843ec6e7d0b248b2.tar.gz otp-9db0c37b94cb7eb2b5a50b5e843ec6e7d0b248b2.tar.bz2 otp-9db0c37b94cb7eb2b5a50b5e843ec6e7d0b248b2.zip | |
Merge branch 'maint'
* maint:
persistent_term.xml: Fix spelling
| -rw-r--r-- | erts/doc/src/persistent_term.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/erts/doc/src/persistent_term.xml b/erts/doc/src/persistent_term.xml index d2a138d65f..29a6c67051 100644 --- a/erts/doc/src/persistent_term.xml +++ b/erts/doc/src/persistent_term.xml @@ -71,7 +71,7 @@ scan of their heaps for the term that has been deleted. While such scan is relatively light-weight, if there are many processes, the system can become less responsive until all - process have scanned theirs heaps.</p></item> + process have scanned their heaps.</p></item> <item><p>If the deleted term (or any part of it) is still used by a process, that process will do a major (fullsweep) garbage |