Git auto merge removed this. Now it is back again.