Many thanks to Andreas for finding this bug and its solution. We will
include the fix in the next release. Please contact me if you have any
further questions.
Thanks,
Barbara
> --
> You received this message because you are subscribed to the Google Groups "crux-users" group.
> To post to this group, send email to crux-...@googlegroups.com.
> To unsubscribe from this group, send email to crux-users+...@googlegroups.com.
> For more options, visit this group at http://groups.google.com/group/crux-users?hl=en.
>
>