Changed email address

[gjb@cs.washington.edu]

Dear Sender,

Thank you for your email about
Failure (gjb@cs.washington.edu)

My username at the @cs.washington.edu domain has changed.
Please use my last name instead of gjb.

Thanks,
Greg