Heh, oops. Yeah, it'd be nice if github had a way to mark pull requests as "reviewed", "resubmitted", etc., so we would know when to look at it.