[m-rev.] diff: merge in GC 6.1alpha5

[Michael Day]

> Merge version 6.1alpha5 of the Boehm collector
> into the main branch of our CVS repository.
> This is needed because the previous version that we
> were using doesn't work on RedHat Linux 7.3.

Neat :)

(Should I crosspost this to mercury-appreciation, or perhaps 
mercury-review-compliments?)

Michael

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------