On 12/01/2021 19:19, Daniele E. Domenichelli wrote: > Should I remove it from the source tarball as well? I removed tinyxml source from the tarball (thanks @Leopold for the suggestion) and uploaded version 2.0.1+ds1-1 to mentors. Cheers, Daniele