Re: [jhc] ANNOUNCE: jhc 0.7.1