Bug#1145040: Patch proposed at Salsa.d.o
Rafael Laboissière <[email protected]>
| Newsgroups | gmane.linux.debian.devel.bugs.rc |
|---|---|
| Organization | Debian GNU/Linux |
| Message-ID | <aoiZUpx8YnktQpBH__1838.0345356249$1787337080$gmane$org@laboissiere.net> |
Control: tags -1 + patch I proposed a patch for fixing the issue as a merge request at Salsa: https://salsa.debian.org/science-team/casadi/-/merge_requests/1 Best, Rafael Laboissière