diff options
| author | Ingela Anderton Andin <[email protected]> | 2012-02-14 15:26:23 +0100 |
|---|---|---|
| committer | Ingela Anderton Andin <[email protected]> | 2012-02-14 15:26:23 +0100 |
| commit | 8c808dc165b823c21b3496dfe56d35a65f9727e1 (patch) | |
| tree | 9f893fa92a8ff4b185f940ca269be3bf82ad43fa /lib/dialyzer/Makefile | |
| parent | 13ac3c70d2c4c1906db3f34291ca87c23c7f2490 (diff) | |
| parent | 4a9cf8de2125832cdc636693ec23f625f195b9e8 (diff) | |
| download | otp-8c808dc165b823c21b3496dfe56d35a65f9727e1.tar.gz otp-8c808dc165b823c21b3496dfe56d35a65f9727e1.tar.bz2 otp-8c808dc165b823c21b3496dfe56d35a65f9727e1.zip | |
Merge branch 'maint'
* maint:
Client now honors the allow_user_interaction option
Avoid to crash if the remote side closes the connection prematurely
Diffstat (limited to 'lib/dialyzer/Makefile')
0 files changed, 0 insertions, 0 deletions