GitHub DeleteEvent at 2014-08-03 11:25:14
Repository: Sources
Actor: jakobkroeker
Payload: ref: fix.variableconflict.in.primdecint.lib
ref_type: branch
pusher_type: user