portupgrade omniORB

[Sergey Matveychuk]

11.06.2012 17:10, Andrea Venturoli wrote:
> Hello.
>
> It looks like I cannot portupgrade omniORB.
> Solution is to deinstall and reinstall, but I thought I'd report this.
>

Thanks. I'll take a look.