Subject: works for me

From: Tom Tromey <[email-masked]>
Date: Mon, 06 Feb 2017 20:43:00 -0700

I tried this and it works for me, so I'm closing this bug.

Tom