Martin de Vries Wed, 19 Mar 2014 02:32:58 -0700
We are running stable now for a full day, so the bug has been fixed.
Many thanks! Martin