This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "MIG".
The branch, master has been updated via eb2755f02ec1506a744acece80a4ce6060ff5fac (commit) from 23e8415d63e0b1b7641a6aff3646536b7395eb91 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit eb2755f02ec1506a744acece80a4ce6060ff5fac Author: Justus Winter <4win...@informatik.uni-hamburg.de> Date: Mon Oct 5 13:59:46 2015 +0200 Update NEWS file ----------------------------------------------------------------------- Summary of changes: NEWS | 5 +++++ 1 files changed, 5 insertions(+), 0 deletions(-) hooks/post-receive -- MIG