diff options
| author | Glenn Morris <rgm@gnu.org> | 2007-02-03 23:39:36 +0000 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2007-02-03 23:39:36 +0000 |
| commit | 05630abe3c19dcf048289d48c4089953cf2a9a9d (patch) | |
| tree | 2560967736617131a25a3d4e057e3b74bb2708ec /admin | |
| parent | b8c20e074f4126242f345855df7aee495209b080 (diff) | |
*** empty log message ***
Diffstat (limited to 'admin')
| -rw-r--r-- | admin/FOR-RELEASE | 1 | ||||
| -rw-r--r-- | admin/notes/copyright | 4 |
2 files changed, 5 insertions, 0 deletions
diff --git a/admin/FOR-RELEASE b/admin/FOR-RELEASE index 8917e6b8967..dfe0c15a772 100644 --- a/admin/FOR-RELEASE +++ b/admin/FOR-RELEASE @@ -57,6 +57,7 @@ to the hack introduced on 2005-07-01 to fix some other Cleartype problem. ** W3 status with latest url package. ** Fix up the notices in oldXMenu properly. + See admin/notes/copyright. ** disumu@x3y2z1.net, Nov 22: URL not following some 302 redirects after recent changes diff --git a/admin/notes/copyright b/admin/notes/copyright index 0d29af67cda..ba4b0c57161 100644 --- a/admin/notes/copyright +++ b/admin/notes/copyright @@ -149,6 +149,10 @@ src/gmalloc.c *** These are copyright issues still to be addressed: +Maybe some relevant comments here? +<http://groups.google.com/group/linux.debian.legal/browse_thread/thread/123547ea95437a1f> + + Is it OK to just `cvs remove' a file for legal reasons, or is something more drastic needed? A removed file is still available from CVS, if suitable options are applied. |