[jQuery] What tool is used to minify the official jQuery distribution?

[jQuery] What tool is used to minify the official jQuery distribution?


I've been testing out various minifying strategies, such as Dean
Edwards' packer, YUI Compressor, jsmin, etc. My goal is to
concatenate all my required .js files and then minify them en masse.
I've read of concerns about trailing semicolons, etc. and am curious
what tool is used to minify the official jQuery distribution. Please
post if you have knowledge!
Thanks,
haylo