On 30/10/2019 15:03, Brian Burkhalter wrote: > : > > Does this constitute approval for the current patch? Perhaps another > issue should be filed for the new return type yet to be determined? > webrev.04 looks okay. I assume you'll create a CSR for the javadoc change. -Alan.