>>>>> "jhutz" == Jeffrey Hutzelman <jhutz at cmu.edu> writes: jhutz> It is, but there was no attached patch. The mailing list server probably ate it. You may want to re-send without putting the patch in a separate MIME part. ---Tom