> Hello,
> http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=690878
> Should we do something about this before the release? I think that
> the prefix should be /usr, I am not sure if it would qualify as an RC
> bug and a new version would be accepted at this point, but I think
> that it's feasible.

Hello Manuel,

if I remember correctly, there were some problems if one just do as suggested 
in the bug report.  Let me check this; I will have an answer before the weekend.



Pkg-osg-devel mailing list

Reply via email to