Re: [dxwg] Implementing proposals to address #83 & #85 (#807)

I think we're done here.  I'd like to notify this PR (and the underlying issues) in the Plenary agenda for today's meeting as per usual process (to flag up the work), so will merge before then, unless someone shouts.  We can handle any issues arising under a separate PR, hopefully just of editorial nature

GitHub Notification of comment by davebrowning
Please view or discuss this issue at using your GitHub account

Received on Tuesday, 7 May 2019 13:52:14 UTC