thanks for selection fix around HR

I just noticed that selection around the HR has been fixed in 3.1. This was
a problem I had reported last February. Thank you!

An

Received on Monday, 12 June 2000 16:45:29 UTC