22 Feb
2019
22 Feb
'19
6:36 a.m.
On 21/02/2019 20:34, Lance Andersen wrote:
Here is the webrev of the patch from Philipp. I did not change the name of the test() method as it was not necessary
This looks okay to me, probably should get Jon to review as he added this API. -Alan