On Tue, Aug 01, 2017 at 06:28:39PM +0200, Joerg Sonnenberger wrote: > Correct, do not remove obsolete entries from the set files without a > very good reason. This one is plain wrong. Thanks, I reverted that part.