On 05/30/2018 10:42 AM, Zhongwei Yao wrote: > And what shall I do if the patch is OK? Shall I create a pull request > in Graal for it? Or should we just wait for Daniel's full fix for it? Let me do it. -- Andrew Haley Java Platform Lead Engineer Red Hat UK Ltd. <https://www.redhat.com> EAC8 43EB D3EF DB98 CC77 2FAD A5CD 6035 332F A671