GitHub CreateEvent at 2014-09-11 23:42:02
Repository: scala-records
Actor: vjovanov
Payload: ref: issue/100-101
ref_type: branch
master_branch: master
description: Labeled records for Scala based on structural refinement types and macros.
pusher_type: user