OK, uploaded! Please add manual page for the binary for the next upload. Regards
Anton Am Di., 12. Jan. 2021 um 22:46 Uhr schrieb Daniele E. Domenichelli < ddomeniche...@drdanz.it>: > 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 > >