On 2017-12-11, at 09:11:15, Dave Wade wrote: > If you have "old source" and find "new updates" and have removed the sequence > numbers, then you probably can't easily work out how they applied... > Some vendors have the pernicious habit of renumbering at major updates.
-- gil
