I created a merge request on Salsa.d.o which addresses Bug#89088:
https://salsa.debian.org/science-team/nlopt/merge_requests/1 Best, Rafael
I created a merge request on Salsa.d.o which addresses Bug#89088:
https://salsa.debian.org/science-team/nlopt/merge_requests/1 Best, Rafael