[m-dev.] Patch: support for shared objects on ARM

[Sergey Khorev]

JF> > JF> That's great! I'll take a look at your (revised) patch sometime
JF> > JF> over the next few days.
JF> >
JF> > That revised patch wasn't correct as well, I should have been more careful.
JF> > Please have a look at the patch below. It is the last revision, I promise :)
JF> >
JF> 
JF> That looks fine - I'll commit it if you haven't anything more to add.

There is nothing to add, thanks.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------