This is fixed now. Matthieu
On Tue, Feb 3, 2015 at 4:25 PM, Matthieu Morel <[email protected]> wrote: > Apparently comments on github pull requests are not reproduced on the > jira ticket. > > For info, I just filed an infra ticket for this: > https://issues.apache.org/jira/browse/INFRA-9109 > > Matthieu
