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

Reply via email to