Add mention of another MySQL conversion tool.

diff --git a/contrib/mysql/README b/contrib/mysql/README
index 8b1c15ee1840f2a8c999f9b7c7a76ea9fce09246..5511df6c6789ac6e8f7793187383136fa44e86b1 100644 (file)
--- a/contrib/mysql/README
+++ b/contrib/mysql/README
@@ -3,3 +3,7 @@ Here are two conversion utilities for MySQL dumps.  Use the one you prefer.
 The most recent version of my2pg.pl can be obtained from:
 
    http://ziet.zhitomir.ua/~fonin/code/
+
+Another tool, mysql2pgsql,  can be found at:
+
+   http://www.rot13.org/~dpavlin/sql.html