[jQuery] Minifying

[[EMAIL PROTECTED]]

I was curious what the jQuery guys use to minify their files?  I saw
there are two big ones out there, JSMin and YUI Compressor and was
just curious which jQuery uses and if there are any special settings
they use.  Thanks in advance!