On Mon, Aug 5, 2013 at 5:42 PM, Mark Grover <[email protected]> wrote:
> Roman,
> I think it's BIGTOP-1031

Ah! I was confused -- that one is actually commited.

Thanks,
Roman.

Reply via email to