diff options
| author | Dan Gudmundsson <[email protected]> | 2019-08-09 12:51:27 +0200 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2019-08-09 12:51:27 +0200 |
| commit | 1a711bfad1e90663abbc509abec9768c686f81f4 (patch) | |
| tree | 528ffa9e6087b4e9615275b658abc746ad8a4eee /lib/observer/src/observer_html_lib.erl | |
| parent | 02da2214d3ee6d3490272d8f007af4c5b81c99f3 (diff) | |
| parent | 29a73cf252143a09457a22dca433c4486d1c497b (diff) | |
| download | otp-1a711bfad1e90663abbc509abec9768c686f81f4.tar.gz otp-1a711bfad1e90663abbc509abec9768c686f81f4.tar.bz2 otp-1a711bfad1e90663abbc509abec9768c686f81f4.zip | |
Merge branch 'maint'
* maint:
mnesia: Fix deadlock caused by add_table_copy
Diffstat (limited to 'lib/observer/src/observer_html_lib.erl')
0 files changed, 0 insertions, 0 deletions