Also, FYI, the non-master builds will need to be manually updated with each release. Just putting it out here to try to prevent it from being forgotten.
On Tue, Jul 23, 2013 at 1:21 PM, John Vines <[email protected]> wrote: > I just noticed (Well, Michael Berman...) that the jenkins boxes were never > redirected to using git. I've switched the master over and I'll migrate the > others. Just an FYI that I'm doing this. >
