GitHub CreateEvent at 2014-11-20 13:53:36
Repository: genode
Actor: alex-ab
Payload: ref: issue_1296
ref_type: branch
master_branch: master
description: Genode OS Framework
pusher_type: user