Thanks Matthieu. -- Gianmarco
On 4 February 2015 at 11:59, Matthieu Morel <[email protected]> wrote: > 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 >
