diff options
author | mwagner@work.mysql.com <> | 2000-11-17 06:53:08 +0100 |
---|---|---|
committer | mwagner@work.mysql.com <> | 2000-11-17 06:53:08 +0100 |
commit | 759691b2f8174eea6cef964ddd6c7ee2b7d4a545 (patch) | |
tree | cccd24b47adae22f6705cdb951a6c6f435ec23f7 /BitKeeper | |
parent | 2596e464c0df12a87ab562b1b3a68c5fc771dcc0 (diff) | |
download | mariadb-git-759691b2f8174eea6cef964ddd6c7ee2b7d4a545.tar.gz |
manual.texi Added link to MySQL Free Public License in policy section.
Diffstat (limited to 'BitKeeper')
-rw-r--r-- | BitKeeper/etc/logging_ok | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/BitKeeper/etc/logging_ok b/BitKeeper/etc/logging_ok index 2fe7f501449..4f455e446a8 100644 --- a/BitKeeper/etc/logging_ok +++ b/BitKeeper/etc/logging_ok @@ -2,3 +2,4 @@ monty@donna.mysql.com sasha@mysql.sashanet.com serg@serg.mysql.com monty@narttu.mysql.fi +mwagner@work.mysql.com |