On 10/23/19 3:46 PM, Tobias Hartmann wrote: > > On 23.10.19 15:12, Aleksey Shipilev wrote: >> Can we consider this one simple/trivial for immediate push? This would help to unbreak >> some of our CIs. > > Looks trivial to me. Thanks, pushed. -- -Aleksey