GitHub PushEvent at 2014-01-08 08:58:10
Repository: dune-localfunctions
Actor: duneprojectmirrorjob
Payload: {"shas":[["03990eefc21ce4e9892ba4817f70f0a097d6ff79","3ac109360be3068e7a00944d53e01c3072299913@mathematik.uni-freiburg.de","[autotools,bugfix] Remove deleted dirs from configure.ac\n\nSome cmake specific dirs have been deleted in commit 9bfc01e93d5ff6cea1bf11b4d430a3f72b11405a but not removed from\nconfigure.ac resulting the build process to fail for the autotools.","Tobias Malkmus",true]],"size":1,"ref":"refs/heads/master","head":"03990eefc21ce4e9892ba4817f70f0a097d6ff79"}