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

[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 searching for its
origin and possible source. And you will spare a lot of time dealing with this.