On 2018-05-31, <[email protected]> wrote:

> There are two typos in the release notes for 1.17:
> wit whne

Thanks! Fixed in master (thus will be fixed when I generate the
site). And I'll fix the release notes in dist when publishing the
artifacts.

Stefan

---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to