Hi Chris, On Mon, Jun 22, 2020 at 12:45 AM Chris Lamb <[email protected]> wrote: > > Up to you.
In commit 1b9e1048, I went with option #2. Kind regards Felix Lechner
- Bug#950052: please warn for files installed int... Matthias Klose
- Bug#950052: please warn for files installe... Felix Lechner
- Processed: Bug#950052 marked as pending in... Debian Bug Tracking System
- Bug#950052: please warn for files installe... Chris Lamb
- Bug#950052: please warn for files installe... Felix Lechner
- Bug#950052: please warn for files inst... Chris Lamb
- Bug#950052: please warn for files ... Felix Lechner
- Bug#950052: please warn for fi... Chris Lamb
- Bug#950052: please warn f... Felix Lechner
- Bug#950052: please wa... Mattia Rizzolo
- Bug#950052: pleas... Felix Lechner
- Bug#950052: pleas... Mattia Rizzolo
- Bug#950052: pleas... Felix Lechner
- Bug#950052: marked as done (please warn fo... Debian Bug Tracking System
