[m-rev.] for preliminary review: post-installation addition of extra library grades

[Julien Fischer]

On Mon, 15 Sep 2014, Paul Bone wrote:

> Yes, presumably if cygwin is installed, as it (usually?) is for
> installation, then that won't be a problem.  AIUI the only cases where this
> is a problem is if cygwin has been uninstalled or the user installed from a
> binary distribution and didn't require cygwin in the first place.

The Windows binary distributions already include all of the useful (i.e.
not experimental) grades, so it isn't clear why you'd need to install
more grades.

Cheers,
Julien.