post-receive.py: neues post-receive script
post-receive.py: guppenmailbox hinzugefuegt
Merge branch 'master' of scheduling:~/repositories/gittools

# By Roland Wurzer
# Via Roland Wurzer
* 'master' of scheduling:~/repositories/gittools:
  post-receive.py: guppenmailbox hinzugefuegt
  post-receive.py: neues post-receive script