genodelabs/genode — pull request #612 by jayrulez (2013-01-12 01:26:51+00:00)
Title: Fixes Issue #611

Fixes Issue #611