Merge branch 'jc/notes-batch-removal' into next
commit5bd78a65b3383a438ae38ecf85012832604b1cac
authorJunio C Hamano <gitster@pobox.com>
Mon, 23 May 2011 17:57:56 +0000 (23 10:57 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 23 May 2011 17:57:56 +0000 (23 10:57 -0700)
tree6af4b2afa4bf435275a06f6d429e9298c22286b7
parent53b473559366b4d1cfe095803cf314e7bd0dcebf
parentcc243c3cebd58d06bc4e064b08fa9c3fdd565250
Merge branch 'jc/notes-batch-removal' into next

* jc/notes-batch-removal:
  show: --ignore-missing
  notes remove: --stdin reads from the standard input
  notes remove: --ignore-missing
  notes remove: allow removing more than one
revision.c
revision.h