Bug#796715: coinor-osi: working diff

[Rene Engelhard]

tag 796715 + pending
thanks

Hi,

On Tue, Aug 25, 2015 at 12:05:05PM -0600, Miles Lubin wrote:
> On Tue, Aug 25, 2015 at 3:46 AM, Rene Engelhard <rene at debian.org> wrote:
> > Either you can upload it yourself or I can do a team upload, whatever you
> > prefer.
> 
> Thanks for figuring this out, I don't currently have the time to work
> through the transition. Team upload would be appreciated.

Ok. Done. (The Third version).

Regards,

Rene