Module Name: src
Committed By: pgoyette
Date: Thu Sep 24 14:14:18 UTC 2020
Modified Files:
src/distrib/sets/lists/comp: mi
Log Message:
As indicated at the top of the file, don't simply remove entries. Instead
we need to mark them "obsolete" so they will get removed if already in the
$DESTDIR
To generate a diff of this commit:
cvs rdiff -u -r1.2357 -r1.2358 src/distrib/sets/lists/comp/mi
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
