On Mon, Mar 2, 2015 at 6:08 PM, Andy Seaborne <[email protected]> wrote:
> My fault - now fixed.  I've kicked off a deployment build as well but
> Jenkins is busy so that will take some time.
Confirm fixed. Thanks Andy.

Ian

Reply via email to