Add mention of another MySQL conversion tool.

diff --git a/contrib/mysql/README b/contrib/mysql/README
index 8b1c15e..5511df6 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