Pull request: what now?

[Andrew Haley]

On 30/01/18 16:49, Tom Rodriguez wrote:
> graal-core was retired.  You should be working from a fork of 
> https://github.com/oracle/graal.  I think you were on the right one in 
> the past.  Maybe you just grabbed the wrong workspace?

Aha!  I had no idea.  Could be; it's been a while.  I'll do that.

-- 
Andrew Haley
Java Platform Lead Engineer
Red Hat UK Ltd. <https://www.redhat.com>
EAC8 43EB D3EF DB98 CC77 2FAD A5CD 6035 332F A671