I couldn't see how to re-open BIGTOP-527. So I am creating a new one.
We can close this one one way (as resolved once code checked in) or another (invalid), once consensus is reached.
But until then, let's leave it open.

Bruno Mahé
added a comment - 06/May/12 05:00 - edited I couldn't see how to re-open BIGTOP-527 . So I am creating a new one.
We can close this one one way (as resolved once code checked in) or another (invalid), once consensus is reached.
But until then, let's leave it open.