automated commit for GitHub on dc oct  1 07:51:02 CEST 2014