Manual merge of the ChangeSet to remove the dependency on manual.texi from the source tree (from 4.0)
Attach a file by drag & drop or click to upload
lenz@mysql.com authored