On 8/8/19 4:18 PM, Aurelien Jarno wrote: > > It is used by libgo, but it seems to be the last user. Ah, yes, I should have remembered libgo. And it links via ../../blahblah. Thanks for digging into it. So, yea, we need it. So I think the best path forward is to just resync everything to the upstream master. Jeff