diff options
| author | Dan Gudmundsson <[email protected]> | 2018-03-27 15:08:32 +0200 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2018-03-27 15:08:32 +0200 |
| commit | 6e13704cf55ca1a13713ddd3ba68e19db44473c1 (patch) | |
| tree | 7906ba505195f0f6df4578387c602d28637f3623 /lib/.gitignore | |
| parent | acfd88f41fbea76650d270f0bb96b6e3975d1480 (diff) | |
| parent | 6dab210081f194210fe55e29ca36c70929425784 (diff) | |
| download | otp-6e13704cf55ca1a13713ddd3ba68e19db44473c1.tar.gz otp-6e13704cf55ca1a13713ddd3ba68e19db44473c1.tar.bz2 otp-6e13704cf55ca1a13713ddd3ba68e19db44473c1.zip | |
Merge branch 'dgud/observer/fix-config-bug/OTP-14993'
* dgud/observer/fix-config-bug/OTP-14993:
Fix crash when config was wrong
Diffstat (limited to 'lib/.gitignore')
0 files changed, 0 insertions, 0 deletions