* G. Milde <g.milde at web.de> [2006-05-16 09:16]: > I would go for the simplest (which is IMO the second variant) and commit > the change if there is no complaint. Do you mean the one with the --ignore-fail-on-non-empty option? This is my preference too. -- Rafael