fwd: #8118: Unfinished transition to new server and git

- Forwarded message from Richard Heck richard_h...@brown.edu - From: Richard Heck richard_h...@brown.edu Subject: Re: #8118: Unfinished transition to new server and git Sorry for top-posting. Droid won't let me reply inline. (And can someone forward to the list? I also just realized

fwd: #8118: Unfinished transition to new server and git

- Forwarded message from Richard Heck - From: Richard Heck Subject: Re: #8118: Unfinished transition to new server and git Sorry for top-posting. Droid won't let me reply inline. (And can someone forward to the list? I also just realized