overtone/overtone — pull request #184 by ctford (2012-12-14 20:19:43+00:00)
Title: Undo renaming of connection-info to server-info

Fixes the naming clash that was caused by the original #176 fix.