GitHub DeleteEvent at 2014-05-08 12:16:15
Repository: DUNE-Stuff
Actor: andreasbuhr
Payload: ref: remove_dune_static_assert
ref_type: branch
pusher_type: user