On Wed, 2015-05-06 at 12:42 -0400, Matt Harbison wrote: > I got "abort: HTTP Error 500: Internal Server Error" using pushgate at > about 12:30 EDT pushing this. Mysterious. There's a record of the 500 error here.. but nothing else. -- Mathematics is the supreme nostalgia of our time.