Bug#796715: coinor-osi: diff v3 (forgot -dbg)

[Anton Gladky]

Hi Rene,


thanks for the patch. I do not see any reasons to
rename -dbg binaries.

Regards

Anton


2015-08-25 12:56 GMT+02:00 Rene Engelhard <rene at debian.org>:
> Hi again,
>
> the third time is a charm; I forgot to change -dbg, too...
>
> Regards,
>
> Rene
>
> --
> debian-science-maintainers mailing list
> debian-science-maintainers at lists.alioth.debian.org
> http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers