The following branch corrects a concurrency error (forgetting to stop a server process when the parallel analysis of dialyzer terminates) and corrects some unmatched return errors identified by running dialyzer on its code base. Please include in the upcoming release. git fetch git://github.com/kostis/otp.git dialyzer-R15B02-final-fixes Kostis