Re: formal vote to publish draft?

Hi Harsh,
Hi Axel,

Here is the patch that fixes a few minor typos and a few consistency issues as well as the contributor names.

Best,

Elmar

Received on Tuesday, 18 June 2019 18:59:57 UTC