Merge branch 'jc/maint-remove-renamed-ref' into maint
authorJunio C Hamano <gitster@pobox.com>
Wed, 9 Nov 2011 00:35:53 +0000 (16:35 -0800)
committerJunio C Hamano <gitster@pobox.com>
Wed, 9 Nov 2011 00:35:53 +0000 (16:35 -0800)
commit916034b93ce45bdedfb1c5cef270e6eba2a26fea
treebb334bc156def237fa6e66f56009611aa095d450
parent1a61a9dae874cac9ea40ac63f8fd662f62eee97e
parentb0eab01a4824d9b6bcf23b51881fdc94ab3d38ec
Merge branch 'jc/maint-remove-renamed-ref' into maint

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

Conflicts:
refs.c
refs.c