diff options
| author | Dan Gudmundsson <[email protected]> | 2019-08-09 12:54:44 +0200 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2019-08-09 12:54:44 +0200 |
| commit | a18ec86bb6f860456af992d78abf0dae51bb713a (patch) | |
| tree | 1d39de35d4124b95b7c93d93def2668d59abd529 /lib/stdlib | |
| parent | 1a711bfad1e90663abbc509abec9768c686f81f4 (diff) | |
| parent | 3a32e5a726b24570e238a01d5a0eb026fc35a359 (diff) | |
| download | otp-a18ec86bb6f860456af992d78abf0dae51bb713a.tar.gz otp-a18ec86bb6f860456af992d78abf0dae51bb713a.tar.bz2 otp-a18ec86bb6f860456af992d78abf0dae51bb713a.zip | |
Merge branch 'maint'
* maint:
mnesia: Bump protocol version
mnesia: Introduce sync_asym_trans protocol
observer: Fixes for html viewers
observer: Support darkmode gui
Diffstat (limited to 'lib/stdlib')
0 files changed, 0 insertions, 0 deletions