On Sat, Apr 25, 2015 at 12:57 AM, Ian Maxon <[email protected]> wrote:
> All done now! The github mirrors are working as well.

Does that mean, we can close the JIRA issue?

Thanks,

Jochen



-- 
Any world that can produce the Taj Mahal, William Shakespeare,
and Stripe toothpaste can't be all bad. (C.R. MacNamara, One Two Three)

Reply via email to