Re: [vote] pin-externals branch to trunk

[Julian Foad]

Stefan Sperling wrote:
> Julian Foad wrote:
>>  Anything holding us back from merging this branch to trunk? [...]
> 
> It has already been merged in r1659395.

Oh, good. Sorry, I didn't notice that.

- Julian