[m-rev.] for review: Delete redundant information in LICENSE.

[Zoltan Somogyi]

On Fri, 23 Feb 2018 18:24:44 +1100, Peter Wang <novalazy at gmail.com> wrote:
>  The subdirectory `boehm_gc' contains a slightly modified copy of version
> -7.4.2 of the conservative garbage collector distributed by Hans Boehm:
> +of the Boehm-Demers-Weiser Garbage Collector. See boehm_gc/README.md for
> +copyright information.

The middle of that sentence now appears to read "slightly modified copy of version
of the BDW ...", which is bad english. I think you need to delete "of version".

> +The atomic_ops library (libatomic_ops) contains some code that
> +is covered by the GNU General Public License, but is not needed by, nor
> +linked into the collector library or Mercury. It is included here only
> +because the libatomic_ops distribution is included in its entirety.

I would replace the last line with "because it is simpler to include the libatomic_ops
distribution in its entirety".

Zoltan.