diff options
| author | Björn-Egil Dahlberg <[email protected]> | 2012-11-27 11:45:55 +0100 |
|---|---|---|
| committer | Björn-Egil Dahlberg <[email protected]> | 2012-11-27 11:45:55 +0100 |
| commit | 24ad798b11b93360649f93c85fcff87b18db4c6b (patch) | |
| tree | 59466d6ed3432b5d1f9da753b05786677dfac648 /lib/dialyzer | |
| parent | 680f37089808f002e92f14742c3e9d7a813c83be (diff) | |
| parent | d5de2e1ffd6403f5d7ec62e6ce8da508e1cb1239 (diff) | |
| download | otp-24ad798b11b93360649f93c85fcff87b18db4c6b.tar.gz otp-24ad798b11b93360649f93c85fcff87b18db4c6b.tar.bz2 otp-24ad798b11b93360649f93c85fcff87b18db4c6b.zip | |
Merge tag 'OTP_R15B03'
The R15B03 release
Diffstat (limited to 'lib/dialyzer')
| -rw-r--r-- | lib/dialyzer/doc/src/notes.xml | 18 | ||||
| -rw-r--r-- | lib/dialyzer/vsn.mk | 2 |
2 files changed, 19 insertions, 1 deletions
diff --git a/lib/dialyzer/doc/src/notes.xml b/lib/dialyzer/doc/src/notes.xml index 0c1556308c..f485e4d03b 100644 --- a/lib/dialyzer/doc/src/notes.xml +++ b/lib/dialyzer/doc/src/notes.xml @@ -31,6 +31,24 @@ <p>This document describes the changes made to the Dialyzer application.</p> +<section><title>Dialyzer 2.5.3</title> + + <section><title>Fixed Bugs and Malfunctions</title> + <list> + <item> + <p>Fix a crash in race condition detection</p> <p>Remove + old untested experimental extension</p> <p>Respect + {plt_check,false} option when using dialyzer:run/1</p> + <p>Fix handling of tuple set remote types appearing in + tuple sets</p> + <p> + Own Id: OTP-10464</p> + </item> + </list> + </section> + +</section> + <section><title>Dialyzer 2.5.2</title> <section><title>Fixed Bugs and Malfunctions</title> diff --git a/lib/dialyzer/vsn.mk b/lib/dialyzer/vsn.mk index 64d05156b1..f344fe0604 100644 --- a/lib/dialyzer/vsn.mk +++ b/lib/dialyzer/vsn.mk @@ -1 +1 @@ -DIALYZER_VSN = 2.5.2 +DIALYZER_VSN = 2.5.3 |