Hi Mario, The JPRT build was successful. The fix looks good.
I just noticed that there ending space symbols on some lines. It may cause issues during the push.
--Semyon On 7/4/2016 5:09 PM, Mario Torre wrote:
On Mon, Jul 4, 2016 at 4:07 PM, Semyon Sadetsky <semyon.sadet...@oracle.com> wrote:Hello Mario, I will arrange a new JPRT run this week.Thanks! Cheers, Mario