On Sun, Apr 14, 2019 at 8:16 PM Bernhard Voelker
<m...@bernhard-voelker.de> wrote:
> @James: WDYT?

That looks good to me, thanks for pushing the change.

James.

Reply via email to