Hi Tobias, I do not know if you are aware of this, and there are only 4 hours left for the upload (in deferred queue).
Anyway, upstream fixed this issue there: https://github.com/roboptim/roboptim-core/commit/ebf98e6c293113cd7729f7560deafb2ac2cea7be cheers, Gianfranco -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
