tjarvstrand/edts — pull request #11 by jpgneves (2012-09-19 08:02:20+00:00)
Title: Fix crash in edts_server:handle_info

Like it says in the tin, fixes crash in edts_server:handle_info/2