Commit 6a7df625df1d43770255a4efc5856ce9d2ff0566

Werner Lemberg 2013-07-20T10:48:37

* docs/INSTALL.GNU: Updated.