On 2/1/19 6:42 AM, Kim Barrett wrote: > The change certainly maintains the pre-existing behavior, so looks good. Yup. jdk-submit had recovered too and the patch looks clean there. I think patch is simple enough to not need further reviews. Pushed. -Aleksey