GitHub PushEvent at 2014-01-25 11:45:15
Repository: plweb
Actor: JanWielemaker
Payload: {"shas":[["7beb703bb9df2b5d6713723e5784f25ea04d3dec","47e7545a353cb500de3dc6c2127676ca3c2810dd@cs.vu.nl","MAINTENANCE: Allow for ?- debug(dyk(Id)). to show only this DYK","Jan Wielemaker",true]],"size":1,"ref":"refs/heads/master","head":"7beb703bb9df2b5d6713723e5784f25ea04d3dec"}