Hi all, Just wanted to remind everybody that we're having our regular happy hour tomorrow, Thursday 7/17 at 6pm. Come for beer, food, camaraderie, and no discussion of religion (except, of course, for the usual distro wars). Details available at http://www.u.arizona.edu/~rubinson/tfughh/ See you there! Claude