-
pfdietz authored
where they can be compiled. Added SAFELY-DELETE-PACKAGE, which unlinks a package's users before deleting it. This was prompted by a bug in use-package.error.2. Replace uses of delete-package or (ignore-errors (delete-package ...)) in the tests with calls to this new function. Some comment and indentation fixes.
33f928e4