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]
