int3/doppio — pull request #101 by jvilk (2012-11-28 19:22:34+00:00)
Title: Bug fixes

Fixes #79 and #98.