Priority: high

merge-points doesn't consider "removed-patches:" headers.


# tag: Tom Lord Thu Jan 23 02:40:52 2003 (bugs/merge-points-wrong)
#
