Bug#1023373: [pkg-crosswire-devel] Bug#1023373: Further bug discussion

2022-11-06 Thread Teus Benschop
[…] > Then it is not only a non-source file but a non-source file that does not > have a public source. Right, since this file does not have a public source, this is a valid reason to remove it. So here’s the proof how useful the discussion was we’ve just had on this topic. The usefulness is vi

Bug#1023373: [pkg-crosswire-devel] Bug#1023373: Further bug discussion

2022-11-06 Thread Bastian Germann
Am 06.11.22 um 15:58 schrieb Teus Benschop: I now think that there is not better source file than that available. Then it is not only a non-source file but a non-source file that does not have a public source. Just get rid of that file. As it violates the users' privacy there is no point in