tree bb334bc156def237fa6e66f56009611aa095d450
parent 1a61a9dae874cac9ea40ac63f8fd662f62eee97e
parent b0eab01a4824d9b6bcf23b51881fdc94ab3d38ec
author Junio C Hamano <gitster@pobox.com> 1320798953 -0800
committer Junio C Hamano <gitster@pobox.com> 1320798953 -0800

Merge branch 'jc/maint-remove-renamed-ref' into maint

* jc/maint-remove-renamed-ref:
  branch -m/-M: remove undocumented RENAMED-REF

Conflicts:
	refs.c