GitHub CreateEvent at 2014-03-26 16:58:43
Repository: llt-diff
Actor: LFDM
Payload: ref: renaming_and_abstractions
ref_type: branch
master_branch: master
description: Creates diffs for various annotations
pusher_type: user