On 2020-06-01 22:31, Mandy Chung wrote: > > > On 6/1/20 12:57 PM, Claes Redestad wrote: >> >> Adjusted the webrev in-place based on your comments (A few methods were >> public that should be private, etc..) > > This looks okay to me. Thanks, Mandy! /Claes