On 2012-11-18, Raymond Toy <toy.raymond at gmail.com> wrote:
> Does that mean no commits until further notice? Don't we also usually
> have a December release? I guess that's postponed for a bit too,
> then.
It's finished already. You will have to clone the Git repo again (the
URL changed), and, I guess, copy over any unpushed changes.
best,
Robert Dodier